diff --git a/Test/civl/samples/coherence.bpl b/Test/civl/samples/coherence.bpl
index 987c636ce..1d9e8d691 100644
--- 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 {