summaryrefslogtreecommitdiff
path: root/Test/dafny1/SeparationLogicList.dfy.expect
blob: d903c7c5a991c026878099822637be5c8582a9a8 (plain)
1
2

Dafny program verifier finished with 16 verified, 0 errors