blob: e5583f305c698db235b3f75b41717d4484bad208 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
Dafny program verifier finished with 15 verified, 0 errors
Compilation error: Opaque type ('_module.MyType') cannot be compiled
Compilation error: Iterator _module.Iter has no body
Compilation error: Method _module._default.M has no body
Compilation error: Method _module._default.P has no body
Compilation error: an assume statement cannot be compiled (line 11)
Compilation error: Function _module._default.F has no body
Compilation error: Function _module._default.H has no body
Compilation error: an assume statement cannot be compiled (line 20)
Compilation error: an assume statement cannot be compiled (line 23)
Compilation error: an assume statement cannot be compiled (line 28)
Compilation error: an assume statement cannot be compiled (line 37)
|
