Draft: Extend Truth based Solver/Prover Assertions#625

Open

baierd wants to merge 3 commits intomasterfrom

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
Extend SolverBasedTest0 with methods for more than 1 BooleanFormula argument, intended for multiple assertions
baierd
committed
Replace old assertions that needed explicit conjunctions with the new multi BooleanFormula argument methods in some existing test-cases
baierd
committed