Fix test for smoke detection such that it works with Silicon

viperproject · Jan 8, 2024 · 17b2b05 · 17b2b05
1 parent 3e164c8
commit 17b2b05
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
 }