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 18, 2016, at 5:59 PM, Mitchell Wand <mwa...@gmail.com> wrote: > > Of course you can't test for non-termination, but is there a relatively > simple way to write something like > > (check-doesnt-terminate-quickly <thunk> <maybe some time limit>) > > which would fail if the thunk terminates within the time limit, and succeeds > otherwise? > > This would be useful in testing expressions that are claimed not to terminate. > > For this use case, it doesn't matter if the time limit is only approximate. > > --Mitch > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
