Skip to content

fix: non-vacuous range-check specs + verdict-engine hypothesis audit - #11

Merged
LucidSamuel merged 2 commits into
mainfrom
fix/non-vacuous-specs
Jun 30, 2026
Merged

fix: non-vacuous range-check specs + verdict-engine hypothesis audit#11
LucidSamuel merged 2 commits into
mainfrom
fix/non-vacuous-specs

fix: make the bridged range-check example spec non-vacuous too

e10a215
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar