RUN line fix

boogie-org · May 22, 2024 · 7b4ef27 · 7b4ef27
1 parent d67d898
commit 7b4ef27
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Test/civl/inductive-sequentialization/snapshot-IS2-part.bpl b/Test/civl/inductive-sequentialization/snapshot-IS2-part.bpl
@@ -1,3 +1,6 @@
+// RUN: %parallel-boogie "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
+
 type Value;
 
 type Tid;