examples/run_all

   1 #!/bin/bash
   2 #now need to modify run scripts in examples directory
   3 echo "Running all ten examples. This may take a few minutes."
   4 for i in 1 3 4 5 6 7 8 10 11;
   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 ..