diff options
author | qadeer <unknown> | 2014-10-14 20:01:16 -0700 |
---|---|---|
committer | qadeer <unknown> | 2014-10-14 20:01:16 -0700 |
commit | 21f39c03cbcc189a50690c9b1b3d4fde170af59e (patch) | |
tree | f21573300fa94472f98051153c4fab720aed2d5a /Source/Concurrency/Program.cs | |
parent | 52f5083f45e3ca26baf9fdca434afa5870b006e9 (diff) |
reversed the order of generated procedures; commutativity checks are generated first
Diffstat (limited to 'Source/Concurrency/Program.cs')
-rw-r--r-- | Source/Concurrency/Program.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Concurrency/Program.cs b/Source/Concurrency/Program.cs index 562044a9..8042476e 100644 --- a/Source/Concurrency/Program.cs +++ b/Source/Concurrency/Program.cs @@ -27,11 +27,11 @@ namespace Microsoft.Boogie }
List<Declaration> decls = new List<Declaration>();
- OwickiGries.AddCheckers(linearTypeChecker, moverTypeChecker, decls);
if (!CommandLineOptions.Clo.TrustAtomicityTypes)
{
MoverCheck.AddCheckers(linearTypeChecker, moverTypeChecker, decls);
- }
+ }
+ OwickiGries.AddCheckers(linearTypeChecker, moverTypeChecker, decls);
foreach (Declaration decl in decls)
{
decl.Attributes = OwickiGries.RemoveYieldsAttribute(decl.Attributes);
|