<div dir="ltr"><div class="gmail_extra">On Wed, Sep 4, 2013 at 1:55 PM, David Vanderson <span dir="ltr"><<a href="mailto:david.vanderson@gmail.com" target="_blank">david.vanderson@gmail.com</a>></span> wrote:<br><div class="gmail_quote"> <blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"> <div text="#000000" bgcolor="#FFFFFF"> I totally missed <span>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></span></div></blockquote><div><br></div><div>Yes, the intention there is to run the tests individually but test that the "all runner" works</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"> <div text="#000000" bgcolor="#FFFFFF"><span> <br> There is also a file/main.rkt that runs all the file/ tests, but that file doesn't show up in DrDr.<br></span></div></blockquote><div><br></div><div>That means that it is disabled, probably because it was intended to just run each file separately</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"> <div text="#000000" bgcolor="#FFFFFF"><span> <br> I'm more confused now. Does DrDr automatically run a main.rkt file if it's present?<br></span></div></blockquote><div><br></div><div>Whether DrDr runs a file is different on a file-by-file basis via the props database. For this file...<br></div><div><br></div><div> </div> <blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div text="#000000" bgcolor="#FFFFFF"><span> <br> Thanks,<br> Dave<br> <br> </span><div><div class="h5"> <div>On 09/04/2013 01:58 PM, Robby Findler wrote:<br> </div> <blockquote 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 href="mailto:david.vanderson@gmail.com" target="_blank">david.vanderson@gmail.com</a>></span> wrote:<br> <blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style: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 href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a><br> </blockquote> </div> <br> </div> </blockquote> <br> </div></div></div> <br>_________________________<br> Racket Developers list:<br> <a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a><br> <br></blockquote></div><br><br clear="all"><div><br></div>-- <br>Jay McCarthy <<a href="mailto:jay@cs.byu.edu" target="_blank">jay@cs.byu.edu</a>><br>Assistant Professor / Brigham Young University<br><a href="http://faculty.cs.byu.edu/~jay" target="_blank">http://faculty.cs.byu.edu/~jay</a><br> <br>"The glory of God is Intelligence" - D&C 93 </div></div>