]> matita.cs.unibo.it Git - helm.git/commit
- regtest now handles more than one interpretation: the tests committed
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 2 Mar 2004 17:12:19 +0000 (17:12 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 2 Mar 2004 17:12:19 +0000 (17:12 +0000)
commit9b0237f419714f67bfe4ae0cdee2c59986588e50
tree6a867f97c8eaf2583e7121c889897ade0c4ef6bd
parent4649be7680244c896149f9a70dd893353577a4fe
- regtest now handles more than one interpretation: the tests committed
  here have been ported to latest regtest format
- more informative failure report
14 files changed:
helm/gTopLevel/regtest.ml
helm/gTopLevel/tests/fix00.cic.test
helm/gTopLevel/tests/forall00.cic.test
helm/gTopLevel/tests/lambda01.cic.test
helm/gTopLevel/tests/lambda02.cic.test
helm/gTopLevel/tests/lambda03.cic.test
helm/gTopLevel/tests/match00.cic.test
helm/gTopLevel/tests/match01.cic.test
helm/gTopLevel/tests/match02.cic.test
helm/gTopLevel/tests/match03.cic.test
helm/gTopLevel/tests/match04.cic.test
helm/gTopLevel/tests/match05.cic.test
helm/gTopLevel/tests/match06.cic.test
helm/gTopLevel/tests/match07.cic.test