At Thu, 19 Dec 2013 09:16:24 +0100, Laurent wrote: > Thanks! I was worried I was doing something wrong, but IIUC these tests > were just not enabled in DrDr.
Right. They're now enabled. > Is there an easy way to know if some tests are enabled in DrDr? Currently, the configuration is in pkgs/plt-services/meta/props but we need to move that information into individual collections (via "info.rkt" files, maybe). _________________________ Racket Developers list: http://lists.racket-lang.org/dev
