
Dafny program verifier finished with 0 verified, 0 errors
[Program halted] ExpectWithMessage.dfy(8,2): Down with Doublethink!

Dafny program verifier finished with 0 verified, 0 errors
[Program halted] ExpectWithMessage.dfy(8,2): Down with Doublethink!

Dafny program verifier finished with 0 verified, 0 errors
[Program halted] ExpectWithMessage.dfy(8,2): Down with Doublethink!

Dafny program verifier finished with 0 verified, 0 errors
[Program halted] ExpectWithMessage.dfy(8,2): Down with Doublethink!

Dafny program verifier finished with 0 verified, 0 errors
[Program halted] ExpectWithMessage.dfy(8,2): Down with Doublethink!
