matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel/regtest.ml

]> matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel/regtest.ml

2004-02-07	Stefano Zacchiroli	- added options "-vars" and "-varsprefix"	blob \| commitdiff \| raw
2004-02-05	Stefano Zacchiroli	flush stdout after print_string	blob \| commitdiff \| raw \| diff to current
2004-02-04	Claudio Sacerdoti...	report files are now produced (and removed) during...	blob \| commitdiff \| raw \| diff to current
2004-02-04	Claudio Sacerdoti...	Improved regression testing reporting.	blob \| commitdiff \| raw \| diff to current
2004-02-04	Claudio Sacerdoti...	- regtest: better argument handling (using Arg)	blob \| commitdiff \| raw \| diff to current
2004-02-03	Stefano Zacchiroli	- comment inside .test file that explain what follows	blob \| commitdiff \| raw \| diff to current
2004-02-03	Claudio Sacerdoti...	Check missed: the two metasenv were not compared.	blob \| commitdiff \| raw \| diff to current
2004-02-03	Claudio Sacerdoti...	Debuggin infos removed.	blob \| commitdiff \| raw \| diff to current
2004-02-03	Claudio Sacerdoti...	- do not crash any longer if type-checking or reduction...	blob \| commitdiff \| raw \| diff to current
2004-02-03	Stefano Zacchiroli	catch exceptions and mark corresponding tests as failed	blob \| commitdiff \| raw \| diff to current
2004-01-30	Stefano Zacchiroli	added regression tests	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.