new make test target

diff --git a/helm/software/components/binaries/matitaprover/Makefile b/helm/software/components/binaries/matitaprover/Makefile
index 6d26497859b47b15f3b3b81c6de0935861bb2a46..90f9bc28f1778fa065d5522d5603db4354164c6f 100644 (file)
--- a/helm/software/components/binaries/matitaprover/Makefile
+++ b/helm/software/components/binaries/matitaprover/Makefile
@@ -1,5 +1,10 @@
+DATE=$(shell date +%y%m%d)
+
 all:
        ocamlbuild matitaprover.native
 
 clean:
        ocamlbuild -clean
+
+test: all
+       for X in `cat casc_2008`; do echo $$X; echo $$X>>log.$(DATE); ./matitaprover.native --tptppath TPTP-v3.7.0 $$X.p >> log.$(DATE) 2>&1; done

diff --git a/helm/software/components/binaries/matitaprover/casc_2008 b/helm/software/components/binaries/matitaprover/casc_2008
new file mode 100644 (file)
index 0000000..7c4c496
--- /dev/null
+++ b/helm/software/components/binaries/matitaprover/casc_2008
@@ -0,0 +1,10 @@
+BOO007-2 BOO007-4 BOO031-1 BOO034-1 BOO072-1 BOO073-1 BOO076-1 COL003-1
+COL003-12 COL003-20 COL006-6 COL011-1 COL037-1 COL038-1 COL043-3 COL044-8
+COL046-1 COL049-1 COL057-1 COL060-1 COL061-1 COL063-1 COL064-1 COL065-1
+GRP014-1 GRP024-5 GRP114-1 GRP164-2 GRP167-1 GRP178-2 GRP181-4 GRP183-4
+GRP184-1 GRP184-3 GRP185-2 GRP185-3 GRP186-1 GRP186-2 GRP187-1 GRP200-1
+GRP202-1 GRP404-1 GRP405-1 GRP422-1 GRP423-1 GRP444-1 GRP452-1 GRP453-1
+GRP471-1 GRP477-1 GRP506-1 GRP508-1 LAT080-1 LAT087-1 LAT093-1 LAT138-1
+LAT140-1 LAT146-1 LAT148-1 LAT152-1 LAT156-1 LAT159-1 LAT164-1 LAT165-1
+LAT166-1 LAT169-1 LAT170-1 LAT173-1 LAT175-1 RNG009-7 RNG019-6 RNG019-7
+RNG020-6 RNG026-6 RNG027-7 RNG028-9 RNG029-7 RNG035-7 ROB006-1 ROB006-2