Closed mario-bucev closed 10 months ago
cvc5 can be selected with --solvers=smt-cvc5 (as long as its executable can be found in PATH). The other changes relate to integration test: instead of loading verification/ per solver, we do it only once.
--solvers=smt-cvc5
verification/
cvc5 can be selected with
--solvers=smt-cvc5(as long as its executable can be found in PATH). The other changes relate to integration test: instead of loadingverification/per solver, we do it only once.