mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-06-02 07:07:52 +00:00
Code Activity

Polish api_bug sat.smt regression test cleanup

Browse source 
Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/adbdc74f-5aab-4b0e-86a1-4ae2bdb4636e

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2026-05-08 17:55:12 +00:00 • committed by GitHub
parent 2bebd7ba7a
commit 0078293170
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/test/api_bug.cpp
View file

@ -15,7 +15,6 @@ static void test_sat_smt_bv_model_reconstruction() {
sat_smt_guard() { Z3_global_param_set("sat.smt", "true"); } sat_smt_guard() { Z3_global_param_set("sat.smt", "true"); }
~sat_smt_guard() { Z3_global_param_set("sat.smt", "false"); } ~sat_smt_guard() { Z3_global_param_set("sat.smt", "false"); }
} guard; } guard;
(void)guard;
Z3_context ctx = Z3_mk_context(nullptr); Z3_context ctx = Z3_mk_context(nullptr);
Z3_solver s = Z3_mk_solver(ctx); Z3_solver s = Z3_mk_solver(ctx);