Re: Proving the: Simulating termination analyzer Principle

Tim Rentsch <tr.17687@z991.linuxsc.com> writes:

olcott <polcott333@gmail.com> writes:

[82 lines deleted]

>
I'm sorry my comments weren't more helpful for you.

Tim, *please* trim quoted text that isn't relevant to your followup.
(And please consider whether olcott is worth any attention at all.)

--
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
void Void(void) { Void(); } /* The recursive call of the void */