diff options
| author |  qadeer <unknown> | 2014-05-04 21:17:12 -0700 |
|---|---|---|
| committer | qadeer <unknown> | 2014-05-04 21:17:12 -0700 |
| commit | 28d4e2ad2598ff377f121ff2a2a9b0794f386110 (patch) | |
| tree | 5bd85a8938154aabf3eb80751c1f9dd54f980c31 /Source/Concurrency/YieldTypeChecker.cs | |
| parent | 36e016acf963b7c19d59640b11b4a40f2072943e (diff) | |
second checkpoint
Diffstat (limited to 'Source/Concurrency/YieldTypeChecker.cs')
| -rw-r--r-- | Source/Concurrency/YieldTypeChecker.cs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Source/Concurrency/YieldTypeChecker.cs b/Source/Concurrency/YieldTypeChecker.cs index d976dfe2..6f356626 100644 --- a/Source/Concurrency/YieldTypeChecker.cs +++ b/Source/Concurrency/YieldTypeChecker.cs @@ -22,8 +22,12 @@ namespace Microsoft.Boogie static YieldTypeChecker()
{
yieldTypeCheckerAutomatonSolver = new CharSetSolver(BitWidth.BV7);
- yieldTypeCheckerAutomaton = yieldTypeCheckerAutomatonSolver.ReadFromRanges(0, new int[] { 0 },
+ yieldTypeCheckerAutomaton = yieldTypeCheckerAutomatonSolver.ReadFromRanges(3, new int[] { 0 },
new int[][] {
+ new int[] {3, 'P', 'P', 3 },
+ new int[] {3, 'Y', 'Y', 0 },
+ new int[] {3, 'Y', 'Y', 1 },
+ new int[] {3, 'Y', 'Y', 2 },
new int[] {0, 'P', 'P', 0 },
new int[] {0, 'Y', 'Y', 0 },
new int[] {0, 'Y', 'Y', 1 },
|