Add support for reflected arithmetic magic functions

marcoeilers / nagini

Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.

Mozilla Public License 2.0

233 stars 8 forks source link

Add support for reflected arithmetic magic functions #183

Closed PascalDevenoge closed 7 months ago

PascalDevenoge commented 7 months ago

Implements support for reflected magic functions (radd etc.) Haven't looked into getting in place versions (iadd) to work yet.

This change is

PascalDevenoge commented 7 months ago

This should be ready to merge. The only test failures are caused by missing dunder methods in the allowed whitelist. I've mixed up the commit order, and they are added to the whitelist in #182.