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 /Test/linear | |
| parent | 36e016acf963b7c19d59640b11b4a40f2072943e (diff) | |
second checkpoint
Diffstat (limited to 'Test/linear')
| -rw-r--r-- | Test/linear/Answer | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/Test/linear/Answer b/Test/linear/Answer index 9fabc440..ff1246e6 100644 --- a/Test/linear/Answer +++ b/Test/linear/Answer @@ -10,11 +10,11 @@ typecheck.bpl(51,4): Error: Only variable can be passed to linear parameter b typecheck.bpl(53,4): Error: The domains of formal and actual parameters must be the same
typecheck.bpl(55,4): Error: The domains of formal and actual parameters must be the same
typecheck.bpl(57,4): Error: Only a linear argument can be passed to linear parameter a
-typecheck.bpl(61,4): Error: Linear variable a can occur only once as an input parameter of a parallel call
-typecheck.bpl(67,0): Error: Output variable d must be available at a return
-typecheck.bpl(76,0): Error: Global variable g must be available at a return
-typecheck.bpl(81,7): Error: unavailable source for a linear read
-typecheck.bpl(82,0): Error: Output variable r must be available at a return
+typecheck.bpl(62,4): Error: Linear variable a can occur only once as an input parameter of a parallel call
+typecheck.bpl(69,0): Error: Output variable d must be available at a return
+typecheck.bpl(78,0): Error: Global variable g must be available at a return
+typecheck.bpl(83,7): Error: unavailable source for a linear read
+typecheck.bpl(84,0): Error: Output variable r must be available at a return
15 type checking errors detected in typecheck.bpl
-------------------- list.bpl --------------------
|