Searched refs:CASENO (Results 1 – 1 of 1) sorted by relevance
237 CASENO=0239 CASENO=$((CASENO+1))241 prlog -n "[$CASENO]$INSTANCE$desc"252 PASSED_CASES="$PASSED_CASES $CASENO"257 FAILED_CASES="$FAILED_CASES $CASENO"262 UNRESOLVED_CASES="$UNRESOLVED_CASES $CASENO"267 UNTESTED_CASES="$UNTESTED_CASES $CASENO"272 UNSUPPORTED_CASES="$UNSUPPORTED_CASES $CASENO"277 XFAILED_CASES="$XFAILED_CASES $CASENO"282 UNDEFINED_CASES="$UNDEFINED_CASES $CASENO"[all …]