From 81edf9e3814a86d046eb95f8666888659da09785 Mon Sep 17 00:00:00 2001
From: woojin <wjl0209@kaist.ac.kr>
Date: Fri, 15 Sep 2023 23:24:02 +0900
Subject: [PATCH] modify grade script

---
 scripts/grade-utils.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/scripts/grade-utils.sh b/scripts/grade-utils.sh
index 5ac48fa..80a28dd 100755
--- a/scripts/grade-utils.sh
+++ b/scripts/grade-utils.sh
@@ -80,7 +80,8 @@ _run_tests_with() {
     # local NUM_TESTS=$(echo $TESTS | wc -w)
     for TEST in ${TESTS[@]}; do
         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
             0)   PASSED=$((PASSED + 1));;
             124) echo_err "Test timed out: $TEST_CMD";;