diff options
| author |  qadeer <unknown> | 2013-11-22 16:30:50 -0800 |
|---|---|---|
| committer | qadeer <unknown> | 2013-11-22 16:30:50 -0800 |
| commit | dd8d790ddcbbb4980cb47e959439425dbac4b4d1 (patch) | |
| tree | 49b2b893c663290b42d9f12b34dd4e2b78cadb54 /Source/Concurrency/OwickiGries.cs | |
| parent | 3c65f1b879a19c5ab1ed78ebfbcdb434fe7afe06 (diff) | |
moved some files around
Diffstat (limited to 'Source/Concurrency/OwickiGries.cs')
| -rw-r--r-- | Source/Concurrency/OwickiGries.cs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Source/Concurrency/OwickiGries.cs b/Source/Concurrency/OwickiGries.cs index 4f0c7a4b..91448b5a 100644 --- a/Source/Concurrency/OwickiGries.cs +++ b/Source/Concurrency/OwickiGries.cs @@ -689,7 +689,9 @@ namespace Microsoft.Boogie public void Transform()
{
- MoverChecking.AddCheckers(linearTypeChecker);
+ MoverCheck.AddCheckers(linearTypeChecker);
+
+ RefinementCheck.AddCheckers(linearTypeChecker);
Program program = linearTypeChecker.program;
foreach (var decl in program.TopLevelDeclarations)
|