Yes
My suggestion is that we assume a program is correct until someone finds an explicit input/output pair for which it fails.
I believe this is the most clear-cut, objective way to determine whether or not an answer is correct.
(Edit: this answer is regarding whether or not they should be deleted"allowed" as "not deleted" instead of "not downvoted")