From 011a119ecda46ed50edb9e9ba8002db91e2b5a70 Mon Sep 17 00:00:00 2001 From: mzuenni Date: Fri, 2 Aug 2024 15:46:22 +0200 Subject: add fuzz script --- test/fuzz.sh | 14 ++++++++++++++ test/test.sh | 9 +++++++-- test/util.h | 6 +++++- 3 files changed, 26 insertions(+), 3 deletions(-) create mode 100755 test/fuzz.sh (limited to 'test') diff --git a/test/fuzz.sh b/test/fuzz.sh new file mode 100755 index 0000000..5b9b9d2 --- /dev/null +++ b/test/fuzz.sh @@ -0,0 +1,14 @@ +#!/bin/bash +set -e +cd "$(dirname "$0")" + +while true +do + seed="0" + while [[ $seed == 0* ]]; do + seed=$(tr -dc '0-9' T integer(T l, T r) { return uniform_int_distribution(l, r-1)(rng); -- cgit v1.2.3