diff options
| author |  Nadia Polikarpova <nadia.polikarpova@gmail.com> | 2013-02-14 18:14:41 -0800 |
|---|---|---|
| committer | Nadia Polikarpova <nadia.polikarpova@gmail.com> | 2013-02-14 18:14:41 -0800 |
| commit | 38bacfa50ab4db8364190c49ed6ee4c4c290bb2e (patch) | |
| tree | 989ee97f4f9233537bfbd8927ccdb317bc6a7740 /Test/dafny2 | |
| parent | b427a801ca62220871c89224260b892bbef0bd74 (diff) | |
Updated a test in dafny2 with the new calc syntax.
Diffstat (limited to 'Test/dafny2')
| -rw-r--r-- | Test/dafny2/Calculations.dfy | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Test/dafny2/Calculations.dfy b/Test/dafny2/Calculations.dfy index 777be464..c637147a 100644 --- a/Test/dafny2/Calculations.dfy +++ b/Test/dafny2/Calculations.dfy @@ -143,13 +143,14 @@ ghost method Lemma_Fib() calc {
Fib(5);
Fib(4) + Fib(3);
+ <
calc {
Fib(2);
Fib(0) + Fib(1);
0 + 1;
1;
}
- < 6;
+ 6;
}
}
|