search

viperproject / silver

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

Updating test annotations #767

Closed marcoeilers closed 7 months ago

marcoeilers commented 7 months ago

Updating test annotations for Carbon PR https://github.com/viperproject/carbon/pull/473 Essentially removing a bunch of IgnoreFile annotations that were there because Carbon did not support some features required for specific tests.