Preserve clingo graph for batch run

Author: Arthur Chan

runTests.sh

@@ -32,6 +32,7 @@ do
 		for result in `ls result/result-*.clingo`
 		do
 			fingerprint=`echo $result | cut -d- -f2 | cut -d. -f1`
+			sudo cp $result "finalResult/$syscall/benchmark-$fingerprint.clingo"
 			sudo genClingoGraph/clingo2Dot.py $result $fingerprint.dot
 			sudo dot -Tsvg -o "finalResult/$syscall/benchmark-$fingerprint.svg" $fingerprint.dot
 			sudo rm -f $fingerprint.dot
@@ -48,6 +49,7 @@ do
 			for result in `ls result/general.clingo-control-*`
 			do
 				fingerprint=`echo $result | cut -d- -f3`
+				sudo cp $result "finalResult/$syscall/background-$fingerprint.clingo"
 				sudo genClingoGraph/clingo2Dot.py $result $fingerprint.dot
 				sudo dot -Tsvg -o "finalResult/$syscall/background-$fingerprint.svg" $fingerprint.dot
 				sudo rm -f $fingerprint.dot
@@ -62,6 +64,7 @@ do
 			for result in `ls result/general.clingo-program-*`
 			do
 				fingerprint=`echo $result | cut -d- -f3`
+				sudo cp $result "finalResult/$syscall/foreground-$fingerprint.clingo"
 				sudo genClingoGraph/clingo2Dot.py $result $fingerprint.dot
 				sudo dot -Tsvg -o "finalResult/$syscall/foreground-$fingerprint.svg" $fingerprint.dot
 				sudo rm -f $fingerprint.dot