All correct
On Fri, Sep 6, 2013 at 12:34 PM, David Vanderson <david.vander...@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.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> 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> > Assistant Professor / Brigham Young University > http://faculty.cs.byu.edu/~jay > > "The glory of God is Intelligence" - D&C 93 > > > -- Jay McCarthy <j...@cs.byu.edu> Assistant Professor / Brigham Young University http://faculty.cs.byu.edu/~jay "The glory of God is Intelligence" - D&C 93
_________________________ Racket Developers list: http://lists.racket-lang.org/dev