mirror of
https://github.com/Z3Prover/z3
synced 2026-06-08 12:59:34 +00:00
Guangyu (Gary) HU
d397a071a6
- bincover.py: typo `NOne` -> `None` in _value2bin fallback path (would raise NameError if bin_index is out of range). - complex/complex.py: rename `__neq__` to `__ne__`. Python has no `__neq__` dunder, so `!=` was not using the intended definition. On Python 3 it silently fell back to the auto-derived inverse of `__eq__`; on Python 2 it fell back to identity comparison.
The example is copied to the build directory during configuration.
You can execute it using
python example.py
in the build directory after you build Z3.