[Openmcl-devel] with-timeout

[Kevin Raison]

trivial-timeout is nice and generic:
http://common-lisp.net/project/trivial-timeout/

-Kevin


On 07/06/2011 01:48 PM, harshrc at ccs.neu.edu wrote:
> 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?
> 
> Thanks!
> 
> -- Harsh
> http://acl2s.ccs.neu.edu/acl2s/doc/
> _______________________________________________
> Openmcl-devel mailing list
> Openmcl-devel at clozure.com
> http://clozure.com/mailman/listinfo/openmcl-devel
>