diff options
Diffstat (limited to 'Test/test20/TypeDecls0.bpl')
-rw-r--r-- | Test/test20/TypeDecls0.bpl | 94 |
1 files changed, 47 insertions, 47 deletions
diff --git a/Test/test20/TypeDecls0.bpl b/Test/test20/TypeDecls0.bpl index a78008c2..42b988d8 100644 --- a/Test/test20/TypeDecls0.bpl +++ b/Test/test20/TypeDecls0.bpl @@ -1,47 +1,47 @@ -// RUN: %boogie -noVerify "%s" > "%t"
-// RUN: %diff "%s.expect" "%t"
-type C a _ b;
-type D;
-type E _;
-
-var A0 : D;
-
-var A1 : C D D D;
-
-var A2 : <a,b> [b, C a b D] C a D [D]a;
-
-var A3 : <a,b> [b, C a int D] C bool ref [bv32]a;
-
-var A4 : <a,a> [a] a; // error: a bound twice
-var A5 : <a> [a] <a> [a] int; // error: a bound twice
-
-var A6 : <a> [a] <b> [b] int;
-
-var A7 : <a> [a] <b> [int] int; // error: b does not occur as map argument
-
-type C _ _; // error: C is already declared
-
-var A8 : C int ref; // error: wrong number of arguments
-
-var A9 : A0; // error: undeclared type
-var A10: F int; // error: undeclared type
-
-var A11: E D;
-var A12: E E D; // error: wrong number of arguments
-var A13: E (E D);
-var A14: E E E D; // error: wrong number of arguments
-
-var A15: E E int; // error: wrong number of arguments
-var A16: E (E int);
-
-var A17: bv64;
-var A18: [int] bv64;
-
-var A19: C E E D; // error: wrong number of arguments
-var A20: C (E (E D)) int [int] int;
-var A21: C (<a> [a] <b> [b] int) int [int] int;
-
-var A22: (D);
-var A23: ((D));
-
-type ref;
+// RUN: %boogie -noVerify "%s" > "%t" +// RUN: %diff "%s.expect" "%t" +type C a _ b; +type D; +type E _; + +var A0 : D; + +var A1 : C D D D; + +var A2 : <a,b> [b, C a b D] C a D [D]a; + +var A3 : <a,b> [b, C a int D] C bool ref [bv32]a; + +var A4 : <a,a> [a] a; // error: a bound twice +var A5 : <a> [a] <a> [a] int; // error: a bound twice + +var A6 : <a> [a] <b> [b] int; + +var A7 : <a> [a] <b> [int] int; // error: b does not occur as map argument + +type C _ _; // error: C is already declared + +var A8 : C int ref; // error: wrong number of arguments + +var A9 : A0; // error: undeclared type +var A10: F int; // error: undeclared type + +var A11: E D; +var A12: E E D; // error: wrong number of arguments +var A13: E (E D); +var A14: E E E D; // error: wrong number of arguments + +var A15: E E int; // error: wrong number of arguments +var A16: E (E int); + +var A17: bv64; +var A18: [int] bv64; + +var A19: C E E D; // error: wrong number of arguments +var A20: C (E (E D)) int [int] int; +var A21: C (<a> [a] <b> [b] int) int [int] int; + +var A22: (D); +var A23: ((D)); + +type ref; |