examples/run_all

   1 #!/bin/bash
   2
   3 echo "Running all examples. This may take a few minutes."
   4 for i in 1 3 4 5 6 7 8 10 11 12 13 20;
   5   do
   6     cd b$i
   7     snark14 b${i}.in > b${i}.out
   8     cd ..
   9 done
  10
  11 cd b2
  12 ./build
  13 ./bin/snark14UserDefined b2.in > b2.out
  14 cd ..
  15
  16 cd b9
  17 ./build
  18 ./bin/snark14 -e b.9.experimenter.in > b9.out
  19 cd ..