Again from ISE 6.4:
I was alerted to this because it failed it's postcondition. But that's
the least of the problems.
When the argument is 5 (5.0), f.out gives "5" and then remove_tail(1)
leaves the empty string!
Then three zeros are prepended to ensure the postcondition (Result now
looks like "000"), but then trailing zeros are stripped giving a final
Result of "0".
--
Colin Adams
Preston,
Lancashire,
ENGLAND
------------------------------------------------------------------------------
_______________________________________________
freeelks-devel mailing list
[hidden email]
https://lists.sourceforge.net/lists/listinfo/freeelks-devel
