Skip to content

Add SolverException for Model and Prover due to MathSAT5/Z3 Model Problem (Including a Sneaky Throw for API not Supporting Changes) - #501

Open
baierd wants to merge 19 commits into
masterfrom
481-mathsat5-returns-null-for-msat_model_create_iterator
Open

Add SolverException for Model and Prover due to MathSAT5/Z3 Model Problem (Including a Sneaky Throw for API not Supporting Changes)#501
baierd wants to merge 19 commits into
masterfrom
481-mathsat5-returns-null-for-msat_model_create_iterator

Remove exceptions in CVC4s model methods as they are never thrown

ed7a40a
Select commit
Loading
Failed to load commit list.

There are no checks for this commit