Searched refs:CASENO (Results 1 – 1 of 1) sorted by relevance
262 CASENO=0265 CASENO=$((CASENO+1))267 prlog -n "[$CASENO]$INSTANCE$desc"284 PASSED_CASES="$PASSED_CASES $CASENO"289 FAILED_CASES="$FAILED_CASES $CASENO"294 UNRESOLVED_CASES="$UNRESOLVED_CASES $CASENO"299 UNTESTED_CASES="$UNTESTED_CASES $CASENO"304 UNSUPPORTED_CASES="$UNSUPPORTED_CASES $CASENO"309 XFAILED_CASES="$XFAILED_CASES $CASENO"314 UNDEFINED_CASES="$UNDEFINED_CASES $CASENO"[all …]