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.12, --test-parallel, solidity)

test (ubuntu-latest, 3.12, --test-parallel, solidity)
succeeded May 6, 2024 in 1m 49s