emergency commit
[cl-cudd.git] / distr / dddmp / exp / runAllTest.script
blob8d792ef4280398cca3ff6b4ed79bf205b2899217
1 # !/bin/sh 
3 # Run All Test Files
5 ./test1.script
6 ./test2.script
7 ./test3.script
8 ./test4.script
9 ./test5.script
10 ./test6.script
11 ./test7.script