Add lit header to new test

boogie-org · Nov 13, 2024 · 77f6a6a · 77f6a6a
1 parent 8629183
commit 77f6a6a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Test/lean-auto/multi-let.bpl b/Test/lean-auto/multi-let.bpl
@@ -1,3 +1,4 @@
+// RUN: %parallel-boogie "%s" > "%t"
 procedure P(x: int, y: int) {
     var z: int;
     var w: int;