[plt-scheme] redex: testing stuck states

[Eric Tanter]

well, actually I found out a solution: just use test-->> and specify  
the expected 'stuck term'.

thanks,

-- Éric


On May 2, 2009, at 12:43 , John Clements wrote:

>
> On May 2, 2009, at 9:42 AM, Eric Tanter wrote:
>
>> Hi,
>>
>> Is it possible to write a test to check that a certain term results  
>> in a stuck state?
>
> Check that the result of 'apply-reduction-relation' is the empty list?
>
> John
>