From 3d4745403ebdf9a6e259b6c9ac2fa7626dfd69eb Mon Sep 17 00:00:00 2001
From: Minseong Jang <minseong.jang@cp.kaist.ac.kr>
Date: Mon, 28 Feb 2022 09:58:42 +0900
Subject: [PATCH] Add grader for h1

---
 scripts/grade-hw1.sh | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 scripts/grade-hw1.sh

diff --git a/scripts/grade-hw1.sh b/scripts/grade-hw1.sh
new file mode 100644
index 0000000..eaf90c1
--- /dev/null
+++ b/scripts/grade-hw1.sh
@@ -0,0 +1,12 @@
+#!/usr/bin/env bash
+
+# Exit when any command fails.
+set -e
+
+# Run lints.
+cargo fmt --all -- --check
+cargo clippy
+
+# Run tests.
+RUST_MIN_STACK=33554432 cargo test test_examples_write_c --release
+python3 tests/fuzz.py --print -n30