Re: [racket-dev] DrDr & the split repository
On Tue, Dec 9, 2014 at 12:12 AM, Asumu Takikawa 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." - D&C 64:33 _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] DrDr & the split repository
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 Thanks, Asumu _ 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 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 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." >> - D&C 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." - D&C 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 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." > - D&C 64:33 > _ > Racket Developers list: > http://lists.racket-lang.org/dev _ Racket Developers list: http://lists.racket-lang.org/dev
[racket-dev] DrDr & the split repository
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." - D&C 64:33 _ Racket Developers list: http://lists.racket-lang.org/dev