summaryrefslogtreecommitdiff
path: root/Test/dafny1/BDD.dfy.expect
blob: 790f650956c7fa17114456baf9d0cc2b78e97aa7 (plain)
1
2

Dafny program verifier finished with 5 verified, 0 errors