[plt-scheme] redex: testing stuck states

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2484 bytes
Desc: not available
URL: <http://lists.racket-lang.org/users/archive/attachments/20090502/91ee4f35/attachment.p7s>