branch for universe

[helm.git] / matita / tests / TPTP / simulate_casc.sh

diff --git a/matita/tests/TPTP/simulate_casc.sh b/matita/tests/TPTP/simulate_casc.sh
new file mode 100755 (executable)
index 0000000..af58f37
--- /dev/null
+++ b/matita/tests/TPTP/simulate_casc.sh
@@ -0,0 +1,7 @@
+#!/bin/sh
+
+input=$1
+
+for X in `cat elenco_CASC.txt`; do
+  grep ^$X $input 
+done