search

viperproject / silver

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

Fix Test File for Smoke Detection Plugin #763

Closed bruggerl closed 9 months ago

bruggerl commented 9 months ago

Fixes a test for smoke detection such that it works with Silicon. :)