search

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

Fixed issue 127: Subscript not properly working on Union #129

Closed fabiopakk closed 6 years ago

fabiopakk commented 6 years ago

This issue was fixed and test cases enforce both read and write cases, with and without union, to certify original behavior is preserved. Other minor fixes were also done in the code.

This change is Reviewable