Since Python 3.12, builtin sum() uses Neumaier compensated summation for
floats, which is more accurate than the program's naive left-to-right
addition. The test constrains the program's sequential FP sum to equal 27.7
exactly, then asserted sum(args) == 27.7 — which additionally demands that
the model have no intermediate rounding error under compensated summation,
something the constraint does not guarantee. Sum with functools.reduce to
mirror the program's sequential addition.
Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com>
* Enable ruff isort rule
* [pre-commit.ci] auto fixes from pre-commit.com hooks
for more information, see https://pre-commit.ci
---------
Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
* [pre-commit.ci] pre-commit autoupdate
updates:
- [github.com/astral-sh/ruff-pre-commit: v0.7.4 → v0.8.3](https://github.com/astral-sh/ruff-pre-commit/compare/v0.7.4...v0.8.3)
* [pre-commit.ci] auto fixes from pre-commit.com hooks
for more information, see https://pre-commit.ci
* Rewrite lots of strings to be f-strings
---------
Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
Co-authored-by: Kevin Phoenix <kevin@kphoenix.us>
* Initial pass, loosely following angr package layout
* Many updates to use the 'common' module for binaries repo
* Some unused imports and log handlers are cleaned up
