solverGenericCEGIS will only rerun possible verifiers #1105
GitHub Actions / Tests-ubuntu-latest-stack-902
succeeded
Oct 18, 2024 in 0s
4334 passed, 0 failed and 0 skipped
✔️ test-report.xml
4334 tests were completed in 0ms with 4334 passed, 0 failed and 0 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| test-framework tests | 4334✔️ | 0ms |
Loading