Skip to content

regression tests: use relative -solver_path to mathsat#63

Merged
fbrausse merged 1 commit into
masterfrom
regr-fix-solver-path
Mar 21, 2026
Merged

regression tests: use relative -solver_path to mathsat#63
fbrausse merged 1 commit into
masterfrom
regr-fix-solver-path

regr: use relative path to mathsat

4179120
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs