git-issue-1180b.dfy.expect

git-issue-1180b.dfy(28,32): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(12,21): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(29,40): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(15,18): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(34,32): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(12,21): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(35,40): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(15,18): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(40,32): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(12,21): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(41,40): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(15,18): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(46,32): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(12,21): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(47,40): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(15,18): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(56,32): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(12,21): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(57,40): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(15,18): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(63,32): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(12,21): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(64,40): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(15,18): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(83,32): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(75,21): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(84,40): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(78,18): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(103,32): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(95,21): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(104,40): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(98,18): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(123,32): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(115,21): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(124,40): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(118,18): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(143,32): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(135,21): Related location: this is the postcondition that could not be proved
git-issue-1180b.dfy(144,40): Error: a postcondition could not be proved on this return path
git-issue-1180b.dfy(138,18): Related location: this is the postcondition that could not be proved

Dafny program verifier finished with 7 verified, 20 errors