Re: Bug#663754: ITP: hol-light -- HOL Light theorem prover
Hello,
Disclaimer: I'm not a Debian developer, just a user.
2012/3/22 Hendrik Tews <tews@os.inf.tu-dresden.de>:
> 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
Reply to: