
Dafny program verifier finished with 0 verified, 0 errors

Dafny program verifier did not attempt verification
CompileWithArgumentsFail.dfy(5,7): Error: This method 'Main' is not permitted as a main method (the method's non-ghost argument type should be an seq<string>, got int).
Translation was aborted because errors were found
