[Openmcl-devel] with-timeout

harshrc at ccs.neu.edu harshrc at ccs.neu.edu
Wed Jul 6 13:48:30 PDT 2011

Hi All,

We are looking to introduce a timed eval to be used for robust
testing in ACL2 Sedan. We currently support CCL and SBCL. 
In SBCL there is a WITH-TIMEOUT macro (which throws a condition after
N seconds), which is good enough for us, since we dont foresee
nested calls to with-timeout our calling context.
Is there a similar macro in CCL that we could use?
If not, we would appreciate some pointers (pseudo-code would be great)
on how to emulate this timeout functionality?


-- Harsh

More information about the Openmcl-devel mailing list