diff options
| author |  leino <unknown> | 2014-10-20 18:42:33 -0700 |
|---|---|---|
| committer | leino <unknown> | 2014-10-20 18:42:33 -0700 |
| commit | c182b533a83dfee69828620f12a051feaab03eac (patch) | |
| tree | 6223081d1ca9009afb83f0ff44758a196f9cfce9 /Test/dafny0/Strings.dfy.expect | |
| parent | 12242050fe7069f7dcf4e99f23b14f447e6b55e0 (diff) | |
Add char literals.
Disallow backslash from being part of identifier names.
Diffstat (limited to 'Test/dafny0/Strings.dfy.expect')
| -rw-r--r-- | Test/dafny0/Strings.dfy.expect | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Test/dafny0/Strings.dfy.expect b/Test/dafny0/Strings.dfy.expect index 56bffd98..e05312b7 100644 --- a/Test/dafny0/Strings.dfy.expect +++ b/Test/dafny0/Strings.dfy.expect @@ -1,5 +1,5 @@ -Dafny program verifier finished with 12 verified, 0 errors
+Dafny program verifier finished with 14 verified, 0 errors
Program compiled successfully
Running...
@@ -9,3 +9,5 @@ Escape X: I say "hello" \ you say 'good bye' Escape Y: I say "hello" \ you say 'good bye' Escape Z: There needs to be R&D Yes, sir +Here is the end +* * * |