Ah - thank you! I think I finally understand how this works. To make sure, I query the props like this:

~/apps/racket$ ./pkgs/plt-services/meta/props get drdr:command-line pkgs/racket-pkgs/racket-test/tests/run-automated-tests.rkt
mzc -k ~s

This tells DrDr to make sure the file compiles without error, but don't run.

~/apps/racket$ ./pkgs/plt-services/meta/props get drdr:command-line pkgs/racket-pkgs/racket-test/tests/file/main.rkt


This is empty, telling DrDr to not do anything with this file - no compilation, no running, no reporting.

~/apps/racket$ ./pkgs/plt-services/meta/props get drdr:command-line pkgs/racket-pkgs/racket-test/tests/file/sha1.rkt props: no `drdr:command-line' property for "pkgs/racket-pkgs/racket-test/tests/file/sha1.rkt"

This tells DrDr to do the default action, which is "raco test ~s".


Is this correct?

Thanks,
Dave


On 09/05/2013 08:40 AM, Jay McCarthy wrote:
On Wed, Sep 4, 2013 at 1:55 PM, David Vanderson <david.vander...@gmail.com <mailto:david.vander...@gmail.com>> wrote:

    I totally missed
    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?


Yes, the intention there is to run the tests individually but test that the "all runner" works


    There is also a file/main.rkt that runs all the file/ tests, but
    that file doesn't show up in DrDr.


That means that it is disabled, probably because it was intended to just run each file separately


    I'm more confused now.  Does DrDr automatically run a main.rkt
    file if it's present?


Whether DrDr runs a file is different on a file-by-file basis via the props database. For this file...


    Thanks,
    Dave

    On 09/04/2013 01:58 PM, Robby Findler wrote:
    I think it makes more sense to change those 'main' modules into
    'test' modules, but I'm not positive.

    Robby


    On Wed, Sep 4, 2013 at 12:26 PM, David Vanderson
    <david.vander...@gmail.com <mailto:david.vander...@gmail.com>> wrote:

        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 _'.

        Am I missing something?  If not, should I fix the files to be
        run with 'raco test _'?

        Thanks,
        Dave
        _________________________
         Racket Developers list:
        http://lists.racket-lang.org/dev




    _________________________
      Racket Developers list:
    http://lists.racket-lang.org/dev




--
Jay McCarthy <j...@cs.byu.edu <mailto:j...@cs.byu.edu>>
Assistant Professor / Brigham Young University
http://faculty.cs.byu.edu/~jay <http://faculty.cs.byu.edu/%7Ejay>

"The glory of God is Intelligence" - D&C 93

_________________________
  Racket Developers list:
  http://lists.racket-lang.org/dev

Reply via email to