<html> <head> <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"> </head> <body text="#000000" bgcolor="#FFFFFF"> Ah - thank you! I think I finally understand how this works. To make sure, I query the props like this:<br> <br> ~/apps/racket$ ./pkgs/plt-services/meta/props get drdr:command-line pkgs/racket-pkgs/racket-test/tests/run-automated-tests.rkt <br> mzc -k ~s<br> <br> This tells DrDr to make sure the file compiles without error, but don't run.<br> <br> ~/apps/racket$ ./pkgs/plt-services/meta/props get drdr:command-line pkgs/racket-pkgs/racket-test/tests/file/main.rkt <br> <br> <br> This is empty, telling DrDr to not do anything with this file - no compilation, no running, no reporting.<br> <br> ~/apps/racket$ ./pkgs/plt-services/meta/props get drdr:command-line pkgs/racket-pkgs/racket-test/tests/file/sha1.rkt <br> props: no `drdr:command-line' property for "pkgs/racket-pkgs/racket-test/tests/file/sha1.rkt"<br> <br> This tells DrDr to do the default action, which is "raco test ~s".<br> <br> <br> Is this correct?<br> <br> Thanks,<br> Dave<br> <br> <br> <div class="moz-cite-prefix">On 09/05/2013 08:40 AM, Jay McCarthy wrote:<br> </div> <blockquote cite="mid:CAJYbDan-vroB_NapkigW6RWPVqVSgaBLY7vdiPMw12G6xhROBA@mail.gmail.com" type="cite"> <div dir="ltr"> <div class="gmail_extra">On Wed, Sep 4, 2013 at 1:55 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> <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 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: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 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> </div> </div> </div> <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> <br> </blockquote> </div> <br> <br clear="all"> <div><br> </div> -- <br> Jay McCarthy <<a moz-do-not-send="true" href="mailto:jay@cs.byu.edu" target="_blank">jay@cs.byu.edu</a>><br> Assistant Professor / Brigham Young University<br> <a moz-do-not-send="true" href="http://faculty.cs.byu.edu/%7Ejay" target="_blank">http://faculty.cs.byu.edu/~jay</a><br> <br> "The glory of God is Intelligence" - D&C 93 </div> </div> </blockquote> <br> </body> </html>