Attempt to fix proof failure for GC.bpl

boogie-org · Aug 11, 2023 · 29854ff · 29854ff
1 parent b0d13f0
commit 29854ff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Test/civl/samples/GC.bpl b/Test/civl/samples/GC.bpl
@@ -2,7 +2,7 @@
 // Copyright (c) Microsoft Corporation.  All rights reserved.
 //
 
-// RUN: %parallel-boogie "%s" > "%t"
+// RUN: %parallel-boogie -vcsSplitOnEveryAssert "%s" > "%t"
 // RUN: %diff "%s.expect" "%t"
 
 type {:linear "tid"} X = int;