mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-14 21:01:49 +00:00
Code Activity

Add comprehensive tests for Python API bug fixes

Browse source 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2026-02-12 05:01:41 +00:00
parent c6eb275130
commit 8b6aa64f37
1 changed files with 5 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

9
src/api/python/test_critical_fixes.py
View file

@ -11,10 +11,8 @@ These tests validate:
import sys
import os
# Add the z3 module to the path
sys.path.insert(0, os.path.join(os.path.dirname(__file__), 'z3'))
import z3
# Make sure we can import z3 from the build directory
from z3 import z3
def test_ratval_division_by_zero():
@ -98,6 +96,9 @@ def test_user_propagate_double_registration():
try:
# Create a minimal UserPropagateBase subclass
class TestPropagator(z3.UserPropagateBase):
def __init__(self, s=None):
super().__init__(s, ctx=z3.Context() if s is None else None)
def push(self):
pass
def pop(self, num_scopes):