322 feature request clone proverenvironment with stack#324

Open

baierd wants to merge 13 commits intomasterfrom 322-feature-request-clone-proverenvironment-with-stack

+490-14

Commits on Jul 31, 2023

Add the API calls copyProverEnvironment() and copyProverEnvironmentWithInterpolation() to the SolverContext (and all variations of it) + an implementation for Z3
BaierD
committed
Add tests for prover copying and utility methods to avoid testing solvers that do not support this feature
BaierD
committed
Suppress ressource warnings for the new copy prover API
BaierD
committed
Improve tests for new copy prover API
BaierD
committed
Add missing @test annotation to prover copy test
BaierD
committed
Remove redundant final modifier from Z3 context
BaierD
committed
Don't use a try catch block for a test that requires a manual close()
BaierD
committed
Fix wrong constructor usage for Z3 copied theorem prover
BaierD
committed
Fix type used for a Map in Z3 solver context to use the explicit type
BaierD
committed
Suppress warning for ressource (try-catch block) as we need it for a text
BaierD
committed
Disable a test for prover copying after push for Z3 as it can't handle this case
BaierD
committed

Commits on Aug 1, 2023