Fix apparent bug...
[satcheck.git] / benchmarks / runcf
1 #!/bin/bash
2 DIR=`pwd`
3
4
5
6 echo checkfence
7 for i in checkfence/*
8 do
9 echo $i
10 cd $i
11 ./bench.sh
12 cd $DIR
13 done
14
15