added syntax for par call and ParCallCmd

2 files changed, 7 insertions, 7 deletions

diff --git a/Test/linear/Answer b/Test/linear/Answer
index 9ba244e5..2934d690 100644
--- a/Test/linear/Answer
+++ b/Test/linear/Answer
@@ -12,11 +12,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

-typecheck.bpl(66,6): Error: Output variable d must be available at a return

-typecheck.bpl(75,4): Error: Global variable g must be available at a return

+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(81,4): Error: Output variable r must be available at a return

+typecheck.bpl(82,0): Error: Output variable r must be available at a return

 17 type checking errors detected in typecheck.bpl

 

 -------------------- list.bpl --------------------

diff --git a/Test/linear/typecheck.bpl b/Test/linear/typecheck.bpl
index 973a1c88..187b3ff8 100644
--- a/Test/linear/typecheck.bpl
+++ b/Test/linear/typecheck.bpl
@@ -58,7 +58,7 @@ procedure {:yields} D()
 

     call c, x := E(a, x);

 

-    call a := F(a) | x := F(a);

+    par a := F(a) | x := F(a);

 }

 

 procedure E({:linear "D"} a: X, {:linear "D"} b: X) returns ({:linear "D"} c: X, {:linear "D"} d: X)

@@ -92,12 +92,12 @@ procedure {:yields} {:stable} J()
 

 procedure {:yields} P1({:linear ""} x:int) returns({:linear ""} x':int)

 {

-  call x' := I(x) | J();

+  par x' := I(x) | J();

   call x' := I(x');

 }

 

 procedure {:yields} P2({:linear ""} x:int) returns({:linear ""} x':int)

 {

   call x' := I(x);

-  call x' := I(x') | J();

+  par x' := I(x') | J();

 }