<div dir="ltr"><div>Thank you both for the info, I see that now.<br><br></div>Laurent<br></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Dec 19, 2013 at 3:32 PM, Sam Tobin-Hochstadt <span dir="ltr"><<a href="mailto:samth@cs.indiana.edu" target="_blank">samth@cs.indiana.edu</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Thu, Dec 19, 2013 at 8:56 AM, Matthew Flatt <<a href="mailto:mflatt@cs.utah.edu">mflatt@cs.utah.edu</a>> wrote:<br>


><br>
>> Is there an easy way to know if some tests are enabled in DrDr?<br>
><br>
> Currently, the configuration is in<br>
><br>
>  pkgs/plt-services/meta/props<br>
><br>
> but we need to move that information into individual collections (via<br>
> "info.rkt" files, maybe).<br>
<br>
</div>Perhaps easier than trying to read that file is just looking at DrDr<br>
itself. For example, here's the reader.rkt file, from a few days ago:<br>
<br>
    <a href="http://drdr.racket-lang.org/27930/pkgs/scribble-pkgs/scribble-test/tests/scribble/reader.rkt" target="_blank">http://drdr.racket-lang.org/27930/pkgs/scribble-pkgs/scribble-test/tests/scribble/reader.rkt</a><br>


<br>
You can see that it was run with `raco test`, which doesn't actually<br>
test anything on that file.<br>
<br>
And here's the main.rkt file, which is what Matthew enabled. Then:<br>
<br>
    <a href="http://drdr.racket-lang.org/27930/pkgs/scribble-pkgs/scribble-test/tests/scribble/main.rkt" target="_blank">http://drdr.racket-lang.org/27930/pkgs/scribble-pkgs/scribble-test/tests/scribble/main.rkt</a><br>
<br>
Now:<br>
<br>
    <a href="http://drdr.racket-lang.org/27959/pkgs/scribble-pkgs/scribble-test/tests/scribble/main.rkt" target="_blank">http://drdr.racket-lang.org/27959/pkgs/scribble-pkgs/scribble-test/tests/scribble/main.rkt</a><br>
<br>
It turns out that the `reader.rkt` file is still not being tested on<br>
its own, but the whole set of tests is now run via `main.rkt`.<br>
<span class="HOEnZb"><font color="#888888"><br>
Sam<br>
</font></span></blockquote></div><br></div>