[plt-scheme] Re: getting coverage info for test-engine/scheme-tests

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Sat Dec 12 19:21:18 EST 2009

That error is some kind of a problem with errortrace (possibly just a
missing contract check that would lead to a more informative error),
but that's not how you use errortrace.

Did you see the second paragraph at the top of the documentation for
the errortrace library?


On Fri, Dec 11, 2009 at 8:09 PM, Todd O'Bryan <toddobryan at gmail.com> wrote:
> Is there no good way to get coverage information on a file if the
> tests are in a different file? How do people generally organize their
> code? Am I missing something obvious about how to do this, and if so
> could someone give me a link?
> The error I'm getting is from trying what's described below is:
> /opt/plt-4.2.3/lib/plt/collects/errortrace/errortrace-lib.ss:56:0:
> context expected 1 value, received 2 values: () ()
> On Thu, Dec 10, 2009 at 8:33 PM, Todd O'Bryan <toddobryan at gmail.com> wrote:
>> I'm trying the following (what I believe to be quite sane) development
>> methodology.
>> I'm writing some modules and in the directory where the modules live,
>> I've created a tests directory. Inside that directory, I have files
>> that require the modules in the containing directory, exercise them,
>> and then have test cases in the form of check-expects, etc.
>> How can I get coverage information from the files in the main
>> directory? I tried turning on the syntax highlighter, but I think that
>> only works in the current file, so it doesn't help if the tests live
>> in a separate file. I also tried following the instructions for the
>> errortrace module, but didn't get very far. In particular, I put
>> (require errortrace)
>> (coverage-counts-enabled #t)
>> at the top of a test file and
>> (test)
>> (annotate-covered-file "../filename.ss")
>> at the bottom, and just got an error. Unfortunately, I have no idea
>> what I should be putting to get the right information.
>> Any help?
>> Todd
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme

Posted on the users mailing list.