kmc7468/cs220
1
0
Fork 0
mirror of https://github.com/kmc7468/cs220.git synced 2025-12-12 21:08:45 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #270 from woojinnn/grade_script

Browse Source 
Grade script
This commit is contained in:
Woojin Lee
2023-09-22 11:31:04 +09:00
committed by GitHub
parent ec6b346364 8674dbaa1c
commit 435f9799f4
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
scripts/grade-utils.sh
View File

@@ -80,7 +80,8 @@ _run_tests_with() {
# local NUM_TESTS=$(echo $TESTS | wc -w) # local NUM_TESTS=$(echo $TESTS | wc -w)
for TEST in ${TESTS[@]}; do for TEST in ${TESTS[@]}; do
local TEST_CMD="$CARGO test $* --lib -- $TEST" local TEST_CMD="$CARGO test $* --lib -- $TEST"
timeout ${TIMEOUT:-20s} bash -c "$TEST_CMD 2> /dev/null" 1>&2 # card_game in Assignment12 takes 20 seconds.
timeout ${TIMEOUT:-22s} bash -c "$TEST_CMD 2> /dev/null" 1>&2
case $? in case $? in
0) PASSED=$((PASSED + 1));; 0) PASSED=$((PASSED + 1));;
124) echo_err "Test timed out: $TEST_CMD";; 124) echo_err "Test timed out: $TEST_CMD";;