Draft: Extend Truth based Solver/Prover Assertions - #625

Open

baierd wants to merge 3 commits into

extend_smt_assertions

Commits on Mar 21, 2026

Add BooleanFormulaSubjects, an extension of our assertion checking extension based on Truth that allows for more than 1 BooleanFormula argument, intended for multiple assertions
baierd
committed
38ddfdd
Extend SolverBasedTest0 with methods for more than 1 BooleanFormula argument, intended for multiple assertions
baierd
committed
c740e0d
Replace old assertions that needed explicit conjunctions with the new multi BooleanFormula argument methods in some existing test-cases
baierd
committed
8e5e9c1