Lexicalscope, I am really grateful for your help so far. Thanks a lot! Since I am running Dafny on Ubuntu, I am going to look for command line options that give the information that is readly available on VS. Also, I am going to review my code. Probably I introduced one or more bugs when porting it from Coq to Dafny.
↧