diff options
| author |  qadeer <unknown> | 2014-12-15 15:19:47 -0800 |
|---|---|---|
| committer | qadeer <unknown> | 2014-12-15 15:19:47 -0800 |
| commit | e965660d7735ec19d60ab0c6c439c2aae500fc30 (patch) | |
| tree | 08577ea896bb5c6173ed3437254c8856e8bcde5d /Source/Concurrency | |
| parent | 41c1ea3efbbf1b5d7758ab334ab456462300f555 (diff) | |
patched last check in
Diffstat (limited to 'Source/Concurrency')
| -rw-r--r-- | Source/Concurrency/TypeCheck.cs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/Source/Concurrency/TypeCheck.cs b/Source/Concurrency/TypeCheck.cs index b8c94dc8..d6ccce45 100644 --- a/Source/Concurrency/TypeCheck.cs +++ b/Source/Concurrency/TypeCheck.cs @@ -353,15 +353,14 @@ namespace Microsoft.Boogie foreach (var g in program.GlobalVariables)
{
List<int> layerNums = FindLayers(g.Attributes);
- this.introduceLayerNums[g] = 0;
- this.hideLayerNums[g] = int.MaxValue;
if (layerNums.Count == 0)
{
- Error(g, "Too few layer numbers");
+ // Cannot access atomic actions
}
else if (layerNums.Count == 1)
{
this.introduceLayerNums[g] = layerNums[0];
+ this.hideLayerNums[g] = int.MaxValue;
}
else if (layerNums.Count == 2)
{
|