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, generic)

test (windows-latest, 3.10, generic)
succeeded May 6, 2024 in 3m 12s