[plt-scheme] redex: testing stuck states

Eric Tanter etanter at dcc.uchile.cl
Sat May 2 12:42:11 EDT 2009

Previous message: [plt-scheme] redex: recursive metafunctions
Next message: [plt-scheme] redex: testing stuck states
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

Is it possible to write a test to check that a certain term results in  
a stuck state?

-- Éric

Previous message: [plt-scheme] redex: recursive metafunctions
Next message: [plt-scheme] redex: testing stuck states
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the plt-scheme mailing list