From bd581d09e959b670cc18a78b99e33e4293aaccc5 Mon Sep 17 00:00:00 2001 From: Minseong Jang Date: Tue, 5 Apr 2022 19:08:54 +0900 Subject: [PATCH] Update grader --- scripts/grade-hw1.sh | 2 +- scripts/grade-hw2.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/grade-hw1.sh b/scripts/grade-hw1.sh index 13d510d..148881f 100755 --- a/scripts/grade-hw1.sh +++ b/scripts/grade-hw1.sh @@ -9,4 +9,4 @@ cargo clippy # Run tests. RUST_MIN_STACK=33554432 cargo test --release test_examples_write_c -RUST_MIN_STACK=33554432 python3 tests/fuzz.py --print -n30 +RUST_MIN_STACK=33554432 python3 tests/fuzz.py --print -n80 --seed 22 diff --git a/scripts/grade-hw2.sh b/scripts/grade-hw2.sh index 420f08c..39b7032 100755 --- a/scripts/grade-hw2.sh +++ b/scripts/grade-hw2.sh @@ -9,4 +9,4 @@ cargo clippy # Run tests. RUST_MIN_STACK=33554432 cargo test --release test_examples_irgen -RUST_MIN_STACK=33554432 python3 tests/fuzz.py --irgen -n30 +RUST_MIN_STACK=33554432 python3 tests/fuzz.py --irgen -n80 --seed 22