[racket-dev] tests not being run?

From: Jay McCarthy (jay.mccarthy at gmail.com)
Date: Fri Sep 6 15:15:40 EDT 2013

All correct


On Fri, Sep 6, 2013 at 12:34 PM, David Vanderson
<david.vanderson at gmail.com>wrote:

>  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> 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> 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>
> Assistant Professor / Brigham Young University
> http://faculty.cs.byu.edu/~jay
>
> "The glory of God is Intelligence" - D&C 93
>
>
>


-- 
Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University
http://faculty.cs.byu.edu/~jay

"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/a923437d/attachment.html>

Posted on the dev mailing list.