[plt-scheme] redex: testing stuck states

From: Eric Tanter (etanter at dcc.uchile.cl)
Date: 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

Posted on the users mailing list.

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