From 073276da1003c8ec7af81ee70db373a650628c71 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nicol=C3=A1s=20Ortega=20Froysa?= <nicolas@ortegas.org>
Date: Fri, 5 Dec 2025 15:50:38 +0100
Subject: [PATCH] Add benchmarking script.

---
 benchmark.sh | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100755 benchmark.sh

diff --git a/benchmark.sh b/benchmark.sh
new file mode 100755
index 0000000..5aadd5d
--- /dev/null
+++ b/benchmark.sh
@@ -0,0 +1,11 @@
+#!/bin/bash
+
+BIN="./target/release/indivisible"
+
+if ! [ -f "$BIN" ]
+then
+	>&2 echo "Release build not available. Please run 'cargo build -r'."
+	exit 1
+fi
+
+time "$BIN" 100000000