src/runinterpreter.sh

   1 #!/bin/bash
   2 # run as the following:
   3 # ./runalloy.sh [hexiom] [--alloy]
   4 # ./runalloy.sh [nqueens] [--alloy]
   5 # ./runalloy.sh [sudoku-csolver] [--alloy]
   6 # ./runalloy.sh [killerSudoku] [--alloy]
   7
   8 #./run.sh deserializealloytest ../Benchmarks/sudoku-csolver/4x4.dump --alloy
   9 #./run.sh java edu.mit.csail.sdg.alloy4whole.ExampleAlloyCompilerNoViz satune.als > solution.log
  10
  11 if [ "$#" -lt 2 ]; then
  12         echo "Illegal number of argument"
  13         echo "./runinterpreter.sh [benchmark] [--alloy/--z3/--smtrat/--mathsat] [timeout]"
  14         exit 1
  15 fi
  16
  17
  18 BIN=./bin
  19 DUMP=$(find . -name "*.dump")
  20 cd $BIN
  21 for d in $DUMP; do
  22         if [[ $d = *$1* ]]; then
  23                 echo $d
  24                 START=$(date +%s.%N)
  25                 ./run.sh deserializealloytest "."$d $2 $3
  26                 END=$(date +%s.%N)
  27                 DIFF=$(echo "$END - $START" | bc)
  28                 echo "CSOLVER solve time: $DIFF"
  29                 cat solution.sol
  30                 echo "Best tuner"
  31         fi
  32 done