blob: e05312b78e9ca814f248e9aaf1de464bbab1e1a3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
Dafny program verifier finished with 14 verified, 0 errors
Program compiled successfully
Running...
ch = D
The string is: DDD
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
* * *
|
