4 echo 'Definite Reachability Experiment' > defreachexp.txt
10 echo '' >> defreachexp.txt
11 echo "$i" >> defreachexp.txt
14 echo 'for NORMAL' >> ../defreachexp.txt
15 for c in 1 2 3 4 5 6 7 8 9 10
17 make clean; make disjoint >> TEMP
19 grep "Fixed point algorithm" TEMP >> ../defreachexp.txt
21 echo 'for DEFREACH' >> ../defreachexp.txt
22 for c in 1 2 3 4 5 6 7 8 9 10
24 make clean; make disjoint-defreach >> TEMP
26 grep "Fixed point algorithm" TEMP >> ../defreachexp.txt