]> matita.cs.unibo.it Git - helm.git/commit
added regression tests
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 30 Jan 2004 08:10:16 +0000 (08:10 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 30 Jan 2004 08:10:16 +0000 (08:10 +0000)
commitded0396c81ec49a45d9406becb602e1071e6820b
tree9c32e6b2cf75dbddd9b0521d886a17ebdc6aacac
parent8b8606be3b086e20ead16ca7417da5f1c4e02e79
added regression tests
15 files changed:
helm/gTopLevel/.cvsignore
helm/gTopLevel/.depend
helm/gTopLevel/Makefile
helm/gTopLevel/batchParser.ml [new file with mode: 0644]
helm/gTopLevel/batchParser.mli [new file with mode: 0644]
helm/gTopLevel/regtest.ml [new file with mode: 0644]
helm/gTopLevel/tests/.cvsignore [new file with mode: 0644]
helm/gTopLevel/tests/forall00.cic [new file with mode: 0644]
helm/gTopLevel/tests/match00.cic [new file with mode: 0644]
helm/gTopLevel/tests/match01.cic [new file with mode: 0644]
helm/gTopLevel/tests/match02.cic [new file with mode: 0644]
helm/gTopLevel/tests/match03.cic [new file with mode: 0644]
helm/gTopLevel/tests/match04.cic [new file with mode: 0644]
helm/gTopLevel/tests/match05.cic [new file with mode: 0644]
helm/gTopLevel/tests/match06.cic [new file with mode: 0644]