[racket] Checking infinite loops

Actually I think this one is a bug I recently introduced in that code.
I'll try to fix it soon.

Robby

On Sun, Oct 3, 2010 at 5:43 PM, Eli Barzilay <eli at barzilay.org> wrote:
> Two minutes ago, Robby Findler wrote:
>> How does it do on this program:
>>
>>   (begin (sleep 5) 'done)
>>
>> ?
>
> Yeah, it has some false positives.  I need to update it with the
> recent halting problem solution code.
>
> --
>          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
>                    http://barzilay.org/                   Maze is Life!
>