Fix unsupported operator crash

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

Closed marcoeilers closed 5 months ago

marcoeilers commented 5 months ago

Fixes crash when an unsupported operator is used.

This change is