blob: 700ad9644b9b16150547005137bd194e02b1b184 (
plain)
1
2
3
4
|
Prover warning: pattern does not contain all quantified variables.
Prover warning: pattern does not contain all quantified variables.
Dafny program verifier finished with 1 verified, 0 errors
|