search

viperproject / silver

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

Adapted test annotations to slightly improved trigger generation #677

Closed marcoeilers closed 1 year ago