mirror of
https://github.com/Z3Prover/z3
synced 2026-07-15 11:35:42 +00:00
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. |
||
|---|---|---|
| .. | ||
| bounded model checking | ||
| complex | ||
| data | ||
| hamiltonian | ||
| mus | ||
| tutorial | ||
| all_interval_series.py | ||
| bincover.py | ||
| CMakeLists.txt | ||
| efsmt.py | ||
| example.py | ||
| hs.py | ||
| mini_ic3.py | ||
| mini_quip.py | ||
| parallel.py | ||
| prooflogs.py | ||
| proofreplay.py | ||
| rc2.py | ||
| README | ||
| simplify_formula.py | ||
| socrates.py | ||
| trafficjam.py | ||
| union_sort.py | ||
| visitor.py | ||
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.