Fix regression in test suite introduced in commit eeafc56

[Build][Test]
tlaplus · Nov 26, 2020 · 7ad6f4f · 7ad6f4f
1 parent 3e191b6
commit 7ad6f4f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/TOOLS/do_tests b/test/TOOLS/do_tests
@@ -10,7 +10,7 @@ if [ "$1" = "smt_tests" ]
   then export ARGS="$ARGS --method smt"
 fi
 
-export TLAPM="$BASEDIR/bin/tlapm"
+export TLAPM="$BASEDIR/../tlapm -I $ARGS"
 export STRETCH=${STRETCH:-5}
 export LOGFILE="$BASEDIR/tests.log"