opened_workaround.dfy.expect « irondafny0 « Test - debian-dafny - Debian packaging for Dafny

summary refs log tree commit diff

path: root/Test/irondafny0/opened_workaround.dfy.expect

blob: 0be94b4ce43934d7dc5f5670ff8435b478bef512 (plain)

1
2
3


Dafny program verifier finished with 3 verified, 0 errors
Compilation error: Function _0_A_Compile._default.P has no body