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 (windows-latest, 3.10, solidity)

test (windows-latest, 3.10, solidity)
succeeded May 6, 2024 in 2m 53s