diff options
| author |  Rustan Leino <unknown> | 2014-06-27 18:56:15 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-06-27 18:56:15 -0700 |
| commit | 05bbbcc402870c5064df987d7f14c5b83cece22c (patch) | |
| tree | 6de5edc8d615a62951f8d8a7406f11d60b52dad3 /Test/dafny0/Tuples.dfy.expect | |
| parent | 16f17e96c48946f925620e1be86fd82cefce923c (diff) | |
Added tuples and tuple types. Syntax is the expected one, namely parentheses around a comma-delimited list of expressions or types. Unit and the unit type are denoted ().
Diffstat (limited to 'Test/dafny0/Tuples.dfy.expect')
| -rw-r--r-- | Test/dafny0/Tuples.dfy.expect | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Test/dafny0/Tuples.dfy.expect b/Test/dafny0/Tuples.dfy.expect new file mode 100644 index 00000000..13c706d3 --- /dev/null +++ b/Test/dafny0/Tuples.dfy.expect @@ -0,0 +1,8 @@ +Tuples.dfy(22,19): Error: assertion violation
+Execution trace:
+ (0,0): anon0
+Tuples.dfy(24,21): Error: possible division by zero
+Execution trace:
+ (0,0): anon0
+
+Dafny program verifier finished with 3 verified, 2 errors
|