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.