Searched refs:CASENO (Results 1 – 1 of 1) sorted by relevance
206 CASENO=0208 CASENO=$((CASENO+1))210 prlog -n "[$CASENO]$INSTANCE$desc"221 PASSED_CASES="$PASSED_CASES $CASENO"226 FAILED_CASES="$FAILED_CASES $CASENO"231 UNRESOLVED_CASES="$UNRESOLVED_CASES $CASENO"236 UNTESTED_CASES="$UNTESTED_CASES $CASENO"241 UNSUPPORTED_CASES="$UNSUPPORTED_CASES $CASENO"246 XFAILED_CASES="$XFAILED_CASES $CASENO"251 UNDEFINED_CASES="$UNDEFINED_CASES $CASENO"[all …]