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%
> 29._call-with-limits%29%29
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 this:
>
>
> (define time-l
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
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 n
4 matches
Mail list logo