
Dafny program verifier finished with 0 verified, 0 errors
Hello, JavaScript! Best, Dafny
x is 14
y is false

Dafny program verifier finished with 0 verified, 0 errors
Hello, JavaScript! Best, Dafny
x is 14
y is false

Dafny program verifier finished with 0 verified, 0 errors
Hello, JavaScript! Best, Dafny
x is 14
y is false
