search

viperproject / carbon

Verification-condition-generation-based verifier for the Viper intermediate verification language.
Mozilla Public License 2.0
30 stars 21 forks source link

Tests for Smoke Detection Plugin #487

Closed bruggerl closed 10 months ago

bruggerl commented 10 months ago

Adds a test suite which runs Carbon with smoke detection enabled on the tests for the plugin.