search

viperproject / silver

Definition of the Viper intermediate verification language.
Mozilla Public License 2.0
79 stars 43 forks source link

Labelled old in triggers #695

Closed marcoeilers closed 1 year ago

marcoeilers commented 1 year ago

Labelled old in triggers was previously disallowed for no good reason. This PR allows it and adds a test.