summaryrefslogtreecommitdiff
path: root/test/integration/test-solver3-evaluation
Commit message (Expand)AuthorAgeFilesLines
* solver evaluation: write minimized solver dumpsJulian Andres Klode2025-03-201-2/+3
* Print --solver 3.0 explanation if both internal and it failedJulian Andres Klode2025-03-091-1/+20
* Evaluate and fall back to the 3.0 solverJulian Andres Klode2025-03-091-0/+220