Re: [racket-users] testing for timeout in Rackunit?

Thanks! You guys are better than a manual. --Mitch On Thu, Aug 18, 2016 at 7:56 PM, Ben Greenman wrote: > Also try `call-with-limits` from racket/sandbox > http://docs.racket-lang.org/reference/Sandboxed_ > Evaluation.html#%28def._%28%28lib._racket%2Fsandbox..rkt%

Re: [racket-users] testing for timeout in Rackunit?

Also try `call-with-limits` from racket/sandbox http://docs.racket-lang.org/reference/Sandboxed_Evaluation.html#%28def._%28%28lib._racket%2Fsandbox..rkt%29._call-with-limits%29%29 On Thu, Aug 18, 2016 at 6:37 PM, Matthias Felleisen wrote: > > Do you mean something like

Re: [racket-users] testing for timeout in Rackunit?

Do you mean something like this: (define time-limit .1) (define-syntax-rule (check-termination e) (check-false (false? (sync/timeout time-limit (thread (λ () (list e))) (check-termination (+ 1 1)) (check-termination #f) (check-termination (let loop () (loop))) — Matthias > On Aug

[racket-users] testing for timeout in Rackunit?

Of course you can't test for non-termination, but is there a relatively simple way to write something like (check-doesnt-terminate-quickly ) which would fail if the thunk terminates within the time limit, and succeeds otherwise? This would be useful in testing expressions that are claimed