From 497f663513165854b9b2f62391c3dbe12d6d0919 Mon Sep 17 00:00:00 2001
From: KtorZ <5680256+KtorZ@users.noreply.github.com>
Date: Sat, 8 Feb 2025 16:19:21 +0100
Subject: [PATCH] actually fail if a (seeded) sampler return None

  This is not supposed to happen, as only replayed sampler/fuzzer can
  stop.

Signed-off-by: KtorZ <5680256+KtorZ@users.noreply.github.com>
---
 crates/aiken-lang/src/test_framework.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/crates/aiken-lang/src/test_framework.rs b/crates/aiken-lang/src/test_framework.rs
index f9c4df5b..cb5e955b 100644
--- a/crates/aiken-lang/src/test_framework.rs
+++ b/crates/aiken-lang/src/test_framework.rs
@@ -531,8 +531,9 @@ impl Benchmark {
                 }
 
                 Ok(None) => {
-                    break;
+                    panic!("A seeded PRNG returned 'None' which indicates a sampler is ill-formed and implemented wrongly; please contact library's authors.");
                 }
+
                 Err(e) => {
                     results.push(BenchmarkResult {
                         test: self.clone(),