diff options
| author |  qadeer <unknown> | 2013-12-09 18:40:29 -0800 |
|---|---|---|
| committer | qadeer <unknown> | 2013-12-09 18:40:29 -0800 |
| commit | ae0332cea1ff9cc65a239fddbc588cbaf73ac140 (patch) | |
| tree | de454c8596be960a2ccbf79f144976ecfc79dc94 /Source/Concurrency/OwickiGries.cs | |
| parent | d7bf93bf834d9856de385de7c2d980aaf09802ca (diff) | |
various updates
Diffstat (limited to 'Source/Concurrency/OwickiGries.cs')
| -rw-r--r-- | Source/Concurrency/OwickiGries.cs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Source/Concurrency/OwickiGries.cs b/Source/Concurrency/OwickiGries.cs index 91448b5a..27528826 100644 --- a/Source/Concurrency/OwickiGries.cs +++ b/Source/Concurrency/OwickiGries.cs @@ -690,9 +690,10 @@ namespace Microsoft.Boogie public void Transform()
{
MoverCheck.AddCheckers(linearTypeChecker);
-
+#if QED
+ YieldTypeChecker.PerformYieldTypeChecking(linearTypeChecker);
RefinementCheck.AddCheckers(linearTypeChecker);
-
+#endif
Program program = linearTypeChecker.program;
foreach (var decl in program.TopLevelDeclarations)
{
|