Please, could you have a look to the asserts in the program http://rise4fun.com/Dafny/vDkt ?
Thanks,
Paqui
Comments: Ups!!! sorry I forgot (again :-?) that Dafny knows from a method exactly what its contract says. So that, this is correct http://rise4fun.com/Dafny/xMFcO. Thanks again, Paqui
Thanks,
Paqui
Comments: Ups!!! sorry I forgot (again :-?) that Dafny knows from a method exactly what its contract says. So that, this is correct http://rise4fun.com/Dafny/xMFcO. Thanks again, Paqui