Implement scenario-based fuzzing with state prefixes - #4513

Draft

dnkolegov-ar wants to merge 13 commits into

denis/scenario-based-fuzzing

Commits on Aug 16, 2026

Scenario-based fuzzing PoC
dnkolegov-ar
committed
fd117e0
use SmallScope
dnkolegov-ar
committed
7caf292

Commits on Aug 17, 2026

add inline tests, remove oracles
dnkolegov-ar
committed
dffbb3e
progress
dnkolegov-ar
committed
93eaf07
check spec conformance
dnkolegov-ar
committed
59bb09f
fmt
dnkolegov-ar
committed
303a74e
fix spec
dnkolegov-ar
committed
fb03b73

Commits on Aug 18, 2026

fix invariant by passing floor
dnkolegov-ar
committed
fd9213b

Commits on Aug 19, 2026

Add the first scenario
dnkolegov-ar
committed
305fd29
fix lints
dnkolegov-ar
committed
c1bcf7c
add second test
dnkolegov-ar
committed
621743d
Merge branch 'fuzzing' into denis/scenario-based-fuzzing
dnkolegov-ar
committed
561dadb
add 3d test
dnkolegov-ar
committed
d017c60