waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

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>
This commit is contained in:
KtorZ 2025-02-08 16:19:21 +01:00
parent d87e7f808f
commit 497f663513
No known key found for this signature in database
GPG Key ID: 33173CB6F77F4277
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
crates/aiken-lang/src/test_framework.rs
View File

@ -531,8 +531,9 @@ impl Benchmark {
} }
Ok(None) => { 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) => { Err(e) => {
results.push(BenchmarkResult { results.push(BenchmarkResult {
test: self.clone(), test: self.clone(),