1. meisterluk
  2. aisy-classroom

Commits

art_haali  committed 293d2c7

minor

  • Participants
  • Parent commits 0224745
  • Branches master

Comments (0)

Files changed (1)

File benchmarking/performance_test.sh

View file
  • Ignore whitespace
 
 # Maybe change the following line to point to GNU time:
 GNU_TIME="/usr/bin/time"
-#MODEL_CHECKER="$DIR/ext_tools/blimc/blimc"
 MODEL_CHECKER="$DIR/call_model_checker.sh"
 SYNT_CHECKER="$DIR/ext_tools/syntactic_checker.py"