
Dafny program verifier finished with 0 verified, 0 errors

Dafny program verifier did not attempt verification
git-issue-Main2.dfy(16,26): Error: More than one method is marked {:main}. First declaration appeared at git-issue-Main2.dfy(10,19).
Translation was aborted because errors were found

Dafny program verifier did not attempt verification
git-issue-Main2.dfy(16,26): Error: More than one method is marked {:main}. First declaration appeared at git-issue-Main2.dfy(10,19).
Translation was aborted because errors were found

Dafny program verifier did not attempt verification
git-issue-Main2.dfy(16,26): Error: More than one method is marked {:main}. First declaration appeared at git-issue-Main2.dfy(10,19).
Translation was aborted because errors were found

Dafny program verifier did not attempt verification
git-issue-Main2.dfy(16,26): Error: More than one method is marked {:main}. First declaration appeared at git-issue-Main2.dfy(10,19).
Translation was aborted because errors were found
