From b639a93a47dfcffe4612755c867a9ecfd4794a5f Mon Sep 17 00:00:00 2001 From: Hamed Gorjiara Date: Wed, 3 Oct 2018 10:53:15 -0700 Subject: [PATCH] Adding the learning script --- src/learn.sh | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100755 src/learn.sh diff --git a/src/learn.sh b/src/learn.sh new file mode 100755 index 0000000..221fea5 --- /dev/null +++ b/src/learn.sh @@ -0,0 +1,18 @@ +#!/bin/bash +# run as the following: +# ./learn.sh [hexiom] +# ./learn.sh [nqueens] +# ./learn.sh [sudoku-csolver] +# ./learn.sh [killerSudoku] + + + +BIN=./bin +DUMP=$(find . -name "*.dump") +cd $BIN +for d in $DUMP; do + if [[ $d = *$@* ]]; then + echo $d + ./run.sh deserializerautotune "."$d + fi +done -- 2.34.1