Searched refs:TEST_SCRIPT (Results 1 - 1 of 1) sorted by relevance
| /hets/Isabelle/export/ | ||
| H A D | test_parser_all.sh | 17 RESULT=`$TEST_SCRIPT $1` 29 TEST_SCRIPT="$SCRIPTPATH/test_parser.sh" 32 export TEST_SCRIPT="$TEST_SCRIPT" |
Completed in 22 milliseconds