Fold.dfy.expect « hofs « Test - debian-dafny - Debian packaging for Dafny

summary refs log tree commit diff

path: root/Test/hofs/Fold.dfy.expect

blob: d76e85f9fd6ecdb333d56b5e649de869f0b30599 (plain)


Dafny program verifier finished with 4 verified, 0 errors
Program compiled successfully
Running...

3 = 3