Carl Friedrich Bolz-Tereick pushed to branch branch/fix-intutils-ovf-bug at PyPy / pypy
Commits: e11116e6 by Carl Friedrich Bolz-Tereick at 2022-10-17T13:37:01+02:00 add some somewhat experimental code that uses the Z3 SMT solver to check that the optimizer produces a valid output. only works for a small amount of integer operations so far --HG-- branch : fix-intutils-ovf-bug - - - - - 1 changed file: - + rpython/jit/metainterp/optimizeopt/test/test_z3checktests.py View it on Heptapod: https://foss.heptapod.net/pypy/pypy/-/commit/e11116e6a9cb0dd6883e1a79b112f5134fb39335 -- View it on Heptapod: https://foss.heptapod.net/pypy/pypy/-/commit/e11116e6a9cb0dd6883e1a79b112f5134fb39335 You're receiving this email because of your account on foss.heptapod.net.
_______________________________________________ pypy-commit mailing list -- pypy-commit@python.org To unsubscribe send an email to pypy-commit-le...@python.org https://mail.python.org/mailman3/lists/pypy-commit.python.org/ Member address: arch...@mail-archive.com
