Robust/src/Benchmarks/oooJava/run-defreach-exp.sh

   1 #!/bin/bash
   2
   3 CUR=`pwd`
   4 echo 'Definite Reachability Experiment' > defreachexp.txt
   5
   6 for i in *
   7 do
   8 if [ -d "$i" ] ; then
   9 echo ENTERING $i
  10 echo '' >> defreachexp.txt
  11 echo "$i" >> defreachexp.txt
  12 cd $i
  13
  14 echo 'for NORMAL' >> ../defreachexp.txt
  15 for c in 1 2 3 4 5 6 7 8 9 10
  16 do
  17 make clean; make disjoint >> TEMP
  18 done
  19 grep "Fixed point algorithm" TEMP >> ../defreachexp.txt
  20
  21 echo 'for DEFREACH' >> ../defreachexp.txt
  22 for c in 1 2 3 4 5 6 7 8 9 10
  23 do
  24 make clean; make disjoint-defreach >> TEMP
  25 done
  26 grep "Fixed point algorithm" TEMP >> ../defreachexp.txt
  27
  28 make clean
  29 rm -f TEMP
  30 cd $CUR
  31 fi
  32 done