Fixing fix for issue #236

viperproject / silver

Definition of the Viper intermediate verification language.

Mozilla Public License 2.0

78 stars 40 forks source link

Closed marcoeilers closed 9 months ago

marcoeilers commented 9 months ago

Checking if current scope is contained in an axiom, not just if it is directly an axiom.