Re: [racket-dev] DrDr the split repository
On Tue, Dec 9, 2014 at 12:12 AM, Asumu Takikawa as...@ccs.neu.edu wrote: On 2014-12-05 07:14:40 -0500, Jay McCarthy wrote: Instead, Matthew changed raco test (which is how DrDr tests programs) to support all these options. They can be test on a per-directory or per-file basis. The documentation for this is here: I tried to set this for a test I am responsible for, but it didn't seem to work. I've probably just made a mistake somewhere, so can someone sanity check this for me? DrDr is complaining to me about this file: http://drdr.racket-lang.org/29616/pkgs/racket-test/tests/generic/benchmark.rkt but I thought I set the timeout/randomness for that file here: https://github.com/plt/racket/blob/1e5ec02262e588512d225f4212badf4ce36b40d7/pkgs/racket-test/tests/generic/info.rkt I messed up the randomness checking (need to use regexp-quote). I also messed up one other place where timeouts are enforced. Thanks for letting me know. It should be fixed now. Jay -- Jay McCarthy http://jeapostrophe.github.io Wherefore, be not weary in well-doing, for ye are laying the foundation of a great work. And out of small things proceedeth that which is great. - DC 64:33 _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] DrDr the split repository
And just to confirm: we should be checking into our own failures in drdr and fixing the info files now, right? Robby On Fri, Dec 5, 2014 at 6:14 AM, Jay McCarthy jay.mccar...@gmail.com wrote: Since we split the repository, there have been significantly more errors on DrDr: http://drdr.racket-lang.org/ This is mainly because DrDr used to use a monolithic metadata file: https://github.com/plt/racket/blob/master/pkgs/plt-services/meta/props This meta-data file included things like Don't run this file and Give it a timeout of 5 minutes or This program fails randomly, so don't blame the committer. But we can't use this centralized metadata with the decentralized repository. Instead, Matthew changed raco test (which is how DrDr tests programs) to support all these options. They can be test on a per-directory or per-file basis. The documentation for this is here: http://docs.racket-lang.org/raco/test.html?q=raco%20test#%28part._test-config%29 Jay -- Jay McCarthy http://jeapostrophe.github.io Wherefore, be not weary in well-doing, for ye are laying the foundation of a great work. And out of small things proceedeth that which is great. - DC 64:33 _ Racket Developers list: http://lists.racket-lang.org/dev _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] DrDr the split repository
Yes. It may be possible to write a script to port props, but I think the errors are few enough it isn't worth it. Jay On Fri, Dec 5, 2014 at 8:27 AM, Robby Findler ro...@eecs.northwestern.edu wrote: And just to confirm: we should be checking into our own failures in drdr and fixing the info files now, right? Robby On Fri, Dec 5, 2014 at 6:14 AM, Jay McCarthy jay.mccar...@gmail.com wrote: Since we split the repository, there have been significantly more errors on DrDr: http://drdr.racket-lang.org/ This is mainly because DrDr used to use a monolithic metadata file: https://github.com/plt/racket/blob/master/pkgs/plt-services/meta/props This meta-data file included things like Don't run this file and Give it a timeout of 5 minutes or This program fails randomly, so don't blame the committer. But we can't use this centralized metadata with the decentralized repository. Instead, Matthew changed raco test (which is how DrDr tests programs) to support all these options. They can be test on a per-directory or per-file basis. The documentation for this is here: http://docs.racket-lang.org/raco/test.html?q=raco%20test#%28part._test-config%29 Jay -- Jay McCarthy http://jeapostrophe.github.io Wherefore, be not weary in well-doing, for ye are laying the foundation of a great work. And out of small things proceedeth that which is great. - DC 64:33 _ Racket Developers list: http://lists.racket-lang.org/dev -- Jay McCarthy http://jeapostrophe.github.io Wherefore, be not weary in well-doing, for ye are laying the foundation of a great work. And out of small things proceedeth that which is great. - DC 64:33 _ Racket Developers list: http://lists.racket-lang.org/dev
