
Dafny program verifier finished with 0 verified, 0 errors

Dafny program verifier did not attempt verification
git-issue-Main.dfy(16,18): Error: More than one method is declared as 'Main'. First declaration appeared at git-issue-Main.dfy(10,11).
git-issue-Main.dfy(20,7): Error: More than one method is declared as 'Main'. First declaration appeared at git-issue-Main.dfy(10,11).
Translation was aborted because errors were found

Dafny program verifier did not attempt verification
git-issue-Main.dfy(16,18): Error: More than one method is declared as 'Main'. First declaration appeared at git-issue-Main.dfy(10,11).
git-issue-Main.dfy(20,7): Error: More than one method is declared as 'Main'. First declaration appeared at git-issue-Main.dfy(10,11).
Translation was aborted because errors were found

Dafny program verifier did not attempt verification
git-issue-Main.dfy(16,18): Error: More than one method is declared as 'Main'. First declaration appeared at git-issue-Main.dfy(10,11).
git-issue-Main.dfy(20,7): Error: More than one method is declared as 'Main'. First declaration appeared at git-issue-Main.dfy(10,11).
Translation was aborted because errors were found

Dafny program verifier did not attempt verification
git-issue-Main.dfy(16,18): Error: More than one method is declared as 'Main'. First declaration appeared at git-issue-Main.dfy(10,11).
git-issue-Main.dfy(20,7): Error: More than one method is declared as 'Main'. First declaration appeared at git-issue-Main.dfy(10,11).
Translation was aborted because errors were found
