diff options
author | stasiran <unknown> | 2014-01-03 10:45:32 -0800 |
---|---|---|
committer | stasiran <unknown> | 2014-01-03 10:45:32 -0800 |
commit | ca8660d1df65f15c994aa9f6686f6e82a7a2489d (patch) | |
tree | 5d5f72b1d7fc3df99935c03d6b6c1a69869778f0 /Source | |
parent | 805c3830efb30689c501f20e7b45f751b2980513 (diff) |
First rough draft of refinement checking.
Diffstat (limited to 'Source')
-rw-r--r-- | Source/Concurrency/RefinementCheck.cs | 1 |
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);
|