Added /trustAtomicityTypes option

1 files changed, 4 insertions, 2 deletions

diff --git a/Source/Concurrency/Program.cs b/Source/Concurrency/Program.cs
index 45d538df..a3a621ac 100644
--- a/Source/Concurrency/Program.cs
+++ b/Source/Concurrency/Program.cs
@@ -32,8 +32,10 @@ namespace Microsoft.Boogie
 

             List<Declaration> decls = new List<Declaration>();

             OwickiGries.AddCheckers(linearTypeChecker, moverTypeChecker, decls);

-            MoverCheck.AddCheckers(linearTypeChecker, moverTypeChecker, decls);

-

+            if (!CommandLineOptions.Clo.TrustAtomicityTypes)

+            {

+                MoverCheck.AddCheckers(linearTypeChecker, moverTypeChecker, decls);

+            }

             foreach (Declaration decl in decls)

             {

                 Procedure proc = decl as Procedure;