
Dafny program verifier finished with 0 verified, 0 errors

Dafny program verifier did not attempt verification
[Program halted] ExpectWithNonStringMessage.dfy(13,2): Option.Some(where over the rainbow)

Dafny program verifier did not attempt verification
[Program halted] ExpectWithNonStringMessage.dfy(13,2): Option.Some(where over the rainbow)

Dafny program verifier did not attempt verification
[Program halted] ExpectWithNonStringMessage.dfy(13,2): Option.Some(where over the rainbow)
CLI: Error: file ExpectWithNonStringMessage.dfy not found

Dafny program verifier did not attempt verification
[Program halted] ExpectWithNonStringMessage.dfy(13,2): Option.Some(where over the rainbow)
