1 files changed, 3 insertions, 1 deletions
diff --git a/Test/symdiff/foo.bpl b/Test/symdiff/foo.bpl
index 2859aa45..f2c71b8f 100644
--- a/Test/symdiff/foo.bpl
+++ b/Test/symdiff/foo.bpl
@@ -1,3 +1,5 @@
+// RUN: %boogie -z3multipleErrors -errorTrace:0 %s > %t
+// RUN: %diff %s.expect %t
 procedure Foo(x:int) 
 {
   var ok:bool;
@@ -14,4 +16,4 @@ procedure Foo(x:int)
     
   assert ok;
 
-}
-\ No newline at end of file
+}