Merge pull request #763 from viperproject/bruggerl/sd_tests

Fix Test File for Smoke Detection Plugin
viperproject · Jan 8, 2024 · e47320f · e47320f
2 parents 3e164c8 + 17b2b05
commit e47320f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/test/resources/smoke/axiom.vpr b/src/test/resources/smoke/axiom.vpr
@@ -7,4 +7,5 @@ domain Foo {
 //:: ExpectedOutput(refute.failed:refutation.true)
 method test()
 {
+    var x: Foo
 }