Add RUN command to one of the Civl tests

This was causing CI to fail.
boogie-org · Sep 12, 2023 · 6ca0444 · 6ca0444
1 parent 24047c7
commit 6ca0444
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Test/civl/samples/coherence.bpl b/Test/civl/samples/coherence.bpl
@@ -1,3 +1,4 @@
+// RUN: %parallel-boogie "%s" > "%t"
 type MemAddr;
 type Value;
 datatype State {