Skip to content
Test

fix: terminate early on first counterexample with --early-exit #607

Sign in to view logs

fix: terminate early on first counterexample with --early-exit

fix: terminate early on first counterexample with --early-exit #607

test (ubuntu-latest, 3.11, solidity)

test (ubuntu-latest, 3.11, solidity)
succeeded May 6, 2024 in 1m 35s