Adding sypet to repo

[Benchmarks_CSolver.git] / sypet / outputanalyzer.sh

diff --git a/sypet/outputanalyzer.sh b/sypet/outputanalyzer.sh
new file mode 100755 (executable)
index 0000000..6f8b883
--- /dev/null
+++ b/sypet/outputanalyzer.sh
@@ -0,0 +1,20 @@
+#!/bin/bash
+# ./runbench.sh [output folder 1]
+
+if [ "$#" -lt 1 ]; then
+        echo "Illegal number of argument"
+        echo "./runbench.sh [output folder 1]"
+        exit 1
+fi
+SATUNEDIR=/scratch/satcheck/satproject/constraint_compiler/src/
+BIN=./bin/
+BENCHDIR=$SATUNEDIR/Benchmarks/sypet/
+DUMP=$(find . -name "*.dump")
+cd ${SATUNEDIR}$BIN
+for du in $DUMP; do
+       d=$BENCHDIR$du
+       if [[ $d = *$1* ]]; then
+               echo $d
+               ./run.sh deserializersolveprint $d &>$d".log"
+       fi
+done