Add file cleaner for benchs due to other tools generated

Author: LinerSu

scripts/benchs_popl21.sh

@@ -8,40 +8,45 @@ echo "Start benchmark running..."
 
 TOOLS=" dsolve mochi r_type " #
 SOLVER=" z3 hoice "
+TESTDIR="../tests/benchmarks"
 
 echo "<<----Start experiment 1---->>..."
 DOMAIN=" Oct Polka_st Polka_ls "
 SEN=""
 for i in $(seq 2 $END); do
-	if [ $i = 1 ]; then
-	    echo "Result for context insensitive..."
-	else
-	    echo "Result for one context sensitive..."
-	    SEN="-sen"
-	fi
-	for domain in ${DOMAIN}; do
-		echo "./runit.sh -set unv -domain ${domain} ${SEN}"
-		./runit.sh -set unv -domain ${domain} ${SEN}
-		echo "./runit.sh -set unv -domain ${domain} -thold ${SEN}"
-		./runit.sh -set unv -domain ${domain} -thold ${SEN}
-	done
+    if [ $i = 1 ]; then
+        echo "Result for context insensitive..."
+    else
+        echo "Result for one context sensitive..."
+        SEN="-sen"
+    fi
+    for domain in ${DOMAIN}; do
+        echo "./runit.sh -set unv -domain ${domain} ${SEN}"
+        ./runit.sh -set unv -domain ${domain} ${SEN}
+        echo "./runit.sh -set unv -domain ${domain} -thold ${SEN}"
+        ./runit.sh -set unv -domain ${domain} -thold ${SEN}
+    done
 done
 
 echo "<<----Start experiment 2---->>..."
 echo "cp ../result/1-sensitive/unv/res1-polka_ls-thowid.csv ../result/comp_tools/unv/"
 cp ../result/1-sensitive/unv/res1-polka_ls-thowid.csv ../result/comp_tools/unv/
 
 for tool in ${TOOLS}; do
+    echo "Clean benchmarks..."
+    pushd ${TESTDIR}
+    find . -type f -not -name '*.ml' -delete
+    popd
     echo "Start running for ${tool}"
     if [[ $tool = "mochi" || $tool = "r_type" ]]; then
-    	for solver in ${SOLVER}; do
-    		echo "./${tool}_runit.sh -set unv -${solver}"
-			./${tool}_runit.sh -set unv -${solver}
-    	done
-	else 
-	    echo "./${tool}_runit.sh -set unv"
-		./${tool}_runit.sh -set unv
-	fi 
+        for solver in ${SOLVER}; do
+            echo "./${tool}_runit.sh -set unv -${solver}"
+            ./${tool}_runit.sh -set unv -${solver}
+        done
+    else 
+        echo "./${tool}_runit.sh -set unv"
+        ./${tool}_runit.sh -set unv
+    fi 
 done
 
 echo "<<----Generating results---->>..."