mix quickbeam.vm.fuzz (QuickBEAM v0.11.0)

View Source

Runs the deterministic bytecode decoder and verifier mutation corpora.

mix quickbeam.vm.fuzz --iterations 10000 --seed 5325389

Every mutation is evaluated twice in a heap-limited monitored process. The command exits unsuccessfully on a crash, timeout, nondeterministic result, or accepted deliberately-invalid verifier mutation.