| From: Matthew Flatt (mflatt at cs.utah.edu) Date: Thu Dec 19 08:56:04 EST 2013 |
|
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).
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}