added /doNotUseParallelism option

1 files changed, 4 insertions, 1 deletions

diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index 5de10eb2..70729f68 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -492,6 +492,8 @@ namespace Microsoft.Boogie {
     public int TrustPhasesUpto = -1;

     public int TrustPhasesDownto = int.MaxValue;

 

+    public bool UseParallelism = true;

+

     public enum VCVariety {

       Structured,

       Block,

@@ -1389,7 +1391,8 @@ namespace Microsoft.Boogie {
               ps.CheckBooleanFlag("deterministicExtractLoops", ref DeterministicExtractLoops) ||

               ps.CheckBooleanFlag("verifySnapshots", ref VerifySnapshots) ||

               ps.CheckBooleanFlag("verifySeparately", ref VerifySeparately) ||

-              ps.CheckBooleanFlag("trustAtomicityTypes", ref TrustAtomicityTypes)

+              ps.CheckBooleanFlag("trustAtomicityTypes", ref TrustAtomicityTypes) ||

+              ps.CheckBooleanFlag("doNotUseParallelism", ref UseParallelism, false)

               ) {

             // one of the boolean flags matched

             return true;