chore: Add scripts for development

.devcontainer/post-create.sh

@@ -9,7 +9,7 @@ sudo rm -rf /var/lib/apt/lists/*
 
 sudo chown vscode:vscode /workspaces
 
-cargo install --force cargo-make
+chmod +x scripts/*.sh
 
 # Clone `nyanten`.
 pushd /workspaces

scripts/run_benchmarks.sh

@@ -0,0 +1,3 @@
+#!/usr/bin/env bash
+
+cargo bench --features bench

scripts/test_correct_hands.sh

@@ -0,0 +1,13 @@
+#!/usr/bin/env bash
+
+if [ -z "$1" ]; then
+    echo "Usage: $0 <01-14>"
+    exit 1
+fi
+
+if ! [[ "$1" =~ ^0[1-9]$|^1[0-4]$ ]]; then
+    echo "Error: Argument must be between 01 and 14."
+    exit 1
+fi
+
+cargo test correct_hands_$1 --release --features test -- --ignored

scripts/test_verify_correctness.sh

@@ -0,0 +1,18 @@
+#!/usr/bin/env bash
+
+if [ -z "$1" ]; then
+    echo "Usage: $0 <01-14>"
+    exit 1
+fi
+
+if ! [[ "$1" =~ ^0[1-9]$|^1[0-4]$ ]]; then
+    echo "Error: Argument must be between 01 and 14."
+    exit 1
+fi
+
+if (( $1 % 3 == 0 )); then
+    echo "Error: Argument must not be divisible by 3."
+    exit 1
+fi
+
+cargo test verify_correctness_$1 --release --features correctness -- --ignored