return in loop for ?
Mon Nov 28 22:20:16 CET 2005
Mike Meyer <mwm at mired.org> writes:
> Which means you can't create a verifier which will verify all
> programs. Is there a reason to believe that you can't have a verifier
> with three possible outcomes: Correct, Incorrect, and I don't know,
> and it is always correct in doing so? Note that "I don't know" could
> be "I ran longer than I think is reasonable and gave up trying."
It's trivial to write such a verifier, if you get my drift.
More information about the Python-list