fix: terminate early on first counterexample with --early-exit #607
Annotations
1 error
|
Set up Python 3.10
[notice] A new release of pip is available: 23.0.1 -> 24.0
[notice] To update, run: python3.10 -m pip install --upgrade pip
|
Loading