search

jrh13 / hol-light

The HOL Light theorem prover
Other
435 stars 79 forks source link

make parallel test error fault tolerant #33

Closed hendriktews closed 7 years ago

hendriktews commented 7 years ago

I improved the parallel test makefile such that it can be interrupted and restarted later.

jrh13 commented 7 years ago

Thanks to Hendrik -- -finally merged this in.