Dafny's result on VS, Rise4fun and CMD does not match

Nov 3, 2016 at 8:16 PM
I have ran into a problem. Some programs get verified when running Dafny version on CMD but then get failed when using Dafny on Rise4fun and Visual Studio (failure reasons are different). Has anyone experinced such a thing? How can I fx it? Thanks