]> matita.cs.unibo.it Git - helm.git/history - components/binaries/utilities/test_library.ml
snapshot
[helm.git] / components / binaries / utilities / test_library.ml
2006-04-13 Claudio Sacerdoti... Utime + Systime used in place of gettimeofday.
2006-04-11 Claudio Sacerdoti... CicEnvironment is emptied when a size treshold is reached.
2006-03-30 Claudio Sacerdoti... Added deadline (now 30s) to each test.
2006-03-27 Claudio Sacerdoti... * trust = true
2006-03-27 Claudio Sacerdoti... More robust handling of Control-C.
2006-03-27 Claudio Sacerdoti... Flush stdout added in proper position.
2006-03-24 Claudio Sacerdoti... Unable to parse my own output. Fixed.
2006-03-24 Claudio Sacerdoti... % forgot in the output
2006-03-24 Claudio Sacerdoti... Serious test for the Coq library added (name test_library).