
Dafny program verifier finished with 7 verified, 0 errors

Dafny program verifier did not attempt verification
Hello
31 62 45 OtherClass.CallMe
AllDafny.M
Extern static method says: Mixed.P
1001
Extern instance method says: Mixed.IP
2002
AllExtern.P
Wrappers.Option.Some(42)
Wrappers.Pair.Pair(3, 7)
3 3 3

Dafny program verifier did not attempt verification
Hello
31 62 45 OtherClass.CallMe
AllDafny.M
Extern static method says: Mixed.P
1001
Extern instance method says: Mixed.IP
2002
AllExtern.P
Wrappers.Option.Some(42)
Wrappers.Pair.Pair(3, 7)
3 3 3

Dafny program verifier did not attempt verification
Hello
31 62 45 OtherClass.CallMe
AllDafny.M
Extern static method says: Mixed.P
1001
Extern instance method says: Mixed.IP
2002
AllExtern.P
Wrappers.Option.Some(42)
Wrappers.Pair.Pair(3, 7)
3 3 3

Dafny program verifier did not attempt verification
Hello
31 62 45 OtherClass.CallMe
AllDafny.M
Extern static method says: Mixed.P
1001
Extern instance method says: Mixed.IP
2002
AllExtern.P
Wrappers.Option.Some(42)
Wrappers.Pair.Pair(3, 7)
3 3 3

Dafny program verifier did not attempt verification
Hello
31 62 45 OtherClass.CallMe
AllDafny.M
Extern static method says: Mixed.P
1001
Extern instance method says: Mixed.IP
2002
AllExtern.P
Wrappers.Option.Some(42)
Wrappers.Pair.Pair(3, 7)
3 3 3
