diff options
| author |  qadeer <unknown> | 2013-08-07 16:57:02 -0700 |
|---|---|---|
| committer | qadeer <unknown> | 2013-08-07 16:57:02 -0700 |
| commit | 2fd1db9218ebc55ad0f26c5f3faddcdf4eef2c85 (patch) | |
| tree | ee58fbfdd972b0bdf5b5883e6c894da623fc1a60 /Test/test1 | |
| parent | a9c60110139c15ec65c50360763c75014b9eef82 (diff) | |
cleaned up the OG code
enabled it to be always on
Diffstat (limited to 'Test/test1')
| -rw-r--r-- | Test/test1/Answer | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/Test/test1/Answer b/Test/test1/Answer index 70b7ea80..e1a36ad9 100644 --- a/Test/test1/Answer +++ b/Test/test1/Answer @@ -1,20 +1,20 @@ Frame0.bpl(10,11): Error: undeclared identifier: a
Frame0.bpl(12,11): Error: undeclared identifier: b
2 name resolution errors detected in Frame0.bpl
-Frame1.bpl(16,7): Error: command assigns to a global variable that is not in the enclosing method's modifies clause: g1
+Frame1.bpl(16,7): Error: command assigns to a global variable that is not in the enclosing procedure's modifies clause: g1
Frame1.bpl(17,6): Error: command assigns to an immutable variable: a
-Frame1.bpl(22,4): Error: command assigns to a global variable that is not in the enclosing method's modifies clause: g1
+Frame1.bpl(22,4): Error: command assigns to a global variable that is not in the enclosing procedure's modifies clause: g1
Frame1.bpl(23,4): Error: command assigns to an immutable variable: a
Frame1.bpl(27,12): Error: command assigns to an immutable variable: hh
-Frame1.bpl(28,12): Error: command assigns to a global variable that is not in the enclosing method's modifies clause: h0
+Frame1.bpl(28,12): Error: command assigns to a global variable that is not in the enclosing procedure's modifies clause: h0
Frame1.bpl(30,7): Error: command assigns to an immutable variable: hh
-Frame1.bpl(31,7): Error: command assigns to a global variable that is not in the enclosing method's modifies clause: h0
+Frame1.bpl(31,7): Error: command assigns to a global variable that is not in the enclosing procedure's modifies clause: h0
Frame1.bpl(33,4): Error: command assigns to an immutable variable: hh
-Frame1.bpl(34,4): Error: command assigns to a global variable that is not in the enclosing method's modifies clause: h0
-Frame1.bpl(55,4): Error: command assigns to a global variable that is not in the enclosing method's modifies clause: g0
-Frame1.bpl(68,4): Error: command assigns to a global variable that is not in the enclosing method's modifies clause: g0
-Frame1.bpl(68,4): Error: command assigns to a global variable that is not in the enclosing method's modifies clause: g1
-Frame1.bpl(68,4): Error: command assigns to a global variable that is not in the enclosing method's modifies clause: h0
+Frame1.bpl(34,4): Error: command assigns to a global variable that is not in the enclosing procedure's modifies clause: h0
+Frame1.bpl(55,4): Error: command assigns to a global variable that is not in the enclosing procedure's modifies clause: g0
+Frame1.bpl(68,4): Error: command assigns to a global variable that is not in the enclosing procedure's modifies clause: g0
+Frame1.bpl(68,4): Error: command assigns to a global variable that is not in the enclosing procedure's modifies clause: g1
+Frame1.bpl(68,4): Error: command assigns to a global variable that is not in the enclosing procedure's modifies clause: h0
Frame1.bpl(84,15): Error: mismatched type of in-parameter in implementation MismatchedTypes: x
Frame1.bpl(89,15): Error: mismatched type of in-parameter in implementation MismatchedTypes: x (named y in implementation)
16 type checking errors detected in Frame1.bpl
@@ -107,7 +107,7 @@ UpdateExprTyping.bpl(36,28): Error: right-hand side in map store with wrong type UpdateExprTyping.bpl(38,27): Error: right-hand side in map store with wrong type: ref (expected: int)
UpdateExprTyping.bpl(39,27): Error: right-hand side in map store with wrong type: int (expected: ref)
12 type checking errors detected in UpdateExprTyping.bpl
-MapsTypeErrors.bpl(26,6): Error: command assigns to a global variable that is not in the enclosing method's modifies clause: m
+MapsTypeErrors.bpl(26,6): Error: command assigns to a global variable that is not in the enclosing procedure's modifies clause: m
MapsTypeErrors.bpl(32,2): Error: mismatched types in assignment command (cannot assign int to []int)
MapsTypeErrors.bpl(33,3): Error: mismatched types in assignment command (cannot assign []int to int)
MapsTypeErrors.bpl(39,3): Error: mismatched types in assignment command (cannot assign bool to int)
|