blob: f04b5ef8b04593050f7974bb89843d45fb04ac8a (
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: an assume statement cannot be compiled (line 12)
Compilation error: Method _module._default.M has no body
Compilation error: Method _module._default.P has no body
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 22)
Compilation error: an assume statement cannot be compiled (line 25)
Compilation error: an assume statement cannot be compiled (line 30)
Compilation error: an assume statement cannot be compiled (line 39)
|
