diff options
| author |  rustanleino <unknown> | 2011-02-03 02:06:35 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2011-02-03 02:06:35 +0000 |
| commit | efc42f63a6b16ca433e532adc016b519b05f5588 (patch) | |
| tree | 6b09b2c2d0e2f3c012039a811d0b598fa3b02abd /Test | |
| parent | bede272d5a04997e8c6dd7d933fe2f953c0f5cd4 (diff) | |
Dafny: removed CEV instrumentation
Diffstat (limited to 'Test')
| -rw-r--r-- | Test/dafny0/Answer | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Test/dafny0/Answer b/Test/dafny0/Answer index 34b9a0be..450b69bc 100644 --- a/Test/dafny0/Answer +++ b/Test/dafny0/Answer @@ -467,7 +467,6 @@ Execution trace: TypeParameters.dfy(132,33): Error: assertion violation
Execution trace:
(0,0): anon0
- (0,0): anon5_Else
(0,0): anon6_Then
Dafny program verifier finished with 27 verified, 4 errors
|