Searched refs:RESULT (Results 1 - 1 of 1) sorted by relevance
/hets/Isabelle/export/ | ||
H A D | test_parser_all.sh | 17 RESULT=`$TEST_SCRIPT $1` 18 echo "$RESULT" | grep -q "val err = \"\": string" 20 echo "$RESULT" | grep -A 2 "val err =" |
Completed in 121 milliseconds