[plt-scheme] redex: testing stuck states

[John Clements]

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://list.cs.brown.edu/pipermail/plt-scheme/attachments/20090502/91ee4f35/smime.bin