Added support for 'cached' feature

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 fabiopakk closed 6 years ago

fabiopakk commented 6 years ago

This is fixing the broken build due to a change in Silver's API ('Method' node).

This change is