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
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:
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
3 matches
Mail list logo
