[squeak-dev] SUnit infinite loop detection

tim Rowledge tim at rowledge.org
Sun Jul 6 06:05:25 UTC 2008


On 5-Jul-08, at 9:58 PM, Colin Putney wrote:

>
> On 5-Jul-08, at 5:49 PM, nicolas cellier wrote:
>
>> And i am still interested by a way to assert infinite iterative  
>> loop (the whileTrue/whileFalse case). Anyone has an idea about it?
>
> Wouldn't that involve solving the halting problem?
Well to quote one of my siglines
"The theorists have proven that this is impossible, but there's three  
of us and we're smart..."
Hmm, and right next it it -
"For those of you who are into writing programs that are as obscure  
and complicated as possible, there are opportunities for... real fun  
here"
That about covers it.

tim
--
tim Rowledge; tim at rowledge.org; http://www.rowledge.org/tim
Strange OpCodes: ED: Eject Disk





More information about the Squeak-dev mailing list