Hello, Disclaimer: I'm not a Debian developer, just a user.
2012/3/22 Hendrik Tews <[email protected]>: > Currently I do 4 of the about 110 tests. Each of them takes about > 90 seconds on my Core Duo @ 2.80GHz. How much time should I spend > on testing during package build? As far as I have understood, those tests are testing internal HOL logic. If you haven't modified any line of the original code, I don't see why those tests would fail (under assumption: all the relevant modules have correctly been installed). The only things that a packaging can change is the interface with the environment of the package. So my rationale would be to keep at least one test to be sure that HOL Light can be run (ideally one function in each module of the original code), and then keep as many tests as needed to test the interface with the outside world (e.g. call to an external prover). Best regards, david -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/CAC3Lx=bzhifu4cmv0xfuwjxy1v4yfl8ur-71owla1jzzwi6...@mail.gmail.com
