Adding dirk-new to repo

[Benchmarks_CSolver.git] / dirk-new / rundump.sh

diff --git a/dirk-new/rundump.sh b/dirk-new/rundump.sh
new file mode 100755 (executable)
index 0000000..fde3a43
--- /dev/null
+++ b/dirk-new/rundump.sh
@@ -0,0 +1,8 @@
+#!/bin/bash
+cd learningset
+SMT=$(find . -name "*.dump")
+cd ..
+for s in $SMT; do
+       echo $s
+       time ./run.sh ./csolver/deserializersolvetest ./learningset/$s
+done