diff options
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)
|