[racket-dev] tests not being run?

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.vanderson at gmail.com <mailto:david.vanderson at 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.vanderson at gmail.com <mailto:david.vanderson at 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 <jay at cs.byu.edu <mailto:jay at 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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20130906/597ce427/attachment.html>