summaryrefslogtreecommitdiff
path: root/Source
diff options
context:
space:
mode:
authorGravatar stasiran <unknown>2014-01-03 10:45:32 -0800
committerGravatar stasiran <unknown>2014-01-03 10:45:32 -0800
commitca8660d1df65f15c994aa9f6686f6e82a7a2489d (patch)
tree5d5f72b1d7fc3df99935c03d6b6c1a69869778f0 /Source
parent805c3830efb30689c501f20e7b45f751b2980513 (diff)
First rough draft of refinement checking.
Diffstat (limited to 'Source')
-rw-r--r--Source/Concurrency/RefinementCheck.cs1
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Concurrency/RefinementCheck.cs b/Source/Concurrency/RefinementCheck.cs
index 9501199c..dc902dd6 100644
--- a/Source/Concurrency/RefinementCheck.cs
+++ b/Source/Concurrency/RefinementCheck.cs
@@ -18,6 +18,7 @@ namespace Microsoft.Boogie
LinearTypeChecker linearTypeChecker;
MoverTypeChecker moverTypeChecker;
+
public static void AddCheckers(LinearTypeChecker linearTypeChecker, MoverTypeChecker moverTypeChecker)
{
RefinementCheck refinementChecking = new RefinementCheck(linearTypeChecker,moverTypeChecker);