1 files changed, 4 insertions, 1 deletions
diff --git a/Test/inline/polyInline.bpl b/Test/inline/polyInline.bpl
index 320259bd..1f6ea200 100644
--- a/Test/inline/polyInline.bpl
+++ b/Test/inline/polyInline.bpl
@@ -1,3 +1,6 @@
+// RUN: %boogie /typeEncoding:predicates /logPrefix:p %s > %t
+// RUN: %boogie /typeEncoding:arguments /logPrefix:a %s >> %t
+// RUN: %diff %s.expect %t
 
 const C:int;
 const D:bool;
@@ -37,4 +40,4 @@ procedure Q() {
   assert giveEmpty3():bool == empty();
 
   assert giveEmpty3() == C;     // should not be provable
-}
-\ No newline at end of file
+}