<html> <head> <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"> </head> <body text="#000000" bgcolor="#FFFFFF"> I totally missed <span class="commandline">pkgs/racket-pkgs/racket-test/tests/run-automated-tests.rkt, but it looks like DrDr is running that with 'mzc -k _' - doesn't that just compile it?<br> <br> There is also a file/main.rkt that runs all the file/ tests, but that file doesn't show up in DrDr.<br> <br> I'm more confused now. Does DrDr automatically run a main.rkt file if it's present?<br> <br> Thanks,<br> Dave<br> <br> </span> <div class="moz-cite-prefix">On 09/04/2013 01:58 PM, Robby Findler wrote:<br> </div> <blockquote cite="mid:CAL3TdOP5WrqFuDdffTGQGPR-VtaMcBsyRoaEB-9URF_88Sti9w@mail.gmail.com" type="cite"> <div dir="ltr">I think it makes more sense to change those 'main' modules into 'test' modules, but I'm not positive.<br> <div><br> </div> <div>Robby</div> </div> <div class="gmail_extra"><br> <br> <div class="gmail_quote"> On Wed, Sep 4, 2013 at 12:26 PM, David Vanderson <span dir="ltr"><<a moz-do-not-send="true" href="mailto:david.vanderson@gmail.com" target="_blank">david.vanderson@gmail.com</a>></span> wrote:<br> <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> It looks to me like most of the tests in racket/pkgs/racket-pkgs/racket-test/tests/file/* are not being run by DrDr. I think DrDr is running them with 'raco test _' while the files mostly need to be run as 'racket _'.<br> <br> Am I missing something? If not, should I fix the files to be run with 'raco test _'?<br> <br> Thanks,<br> Dave<br> _________________________<br> Racket Developers list:<br> <a moz-do-not-send="true" href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a><br> </blockquote> </div> <br> </div> </blockquote> <br> </body> </html>