Logs list too many files

[bennn]

When I type raco cover -b ., all files appear in the log printout (even though info.rkt is actually skipped).

Example:

> raco cover -b .
generating test coverage for ("/home/ben/code/racket/zordoz/info.rkt" "/home/ben/code/racket/zordoz/main.rkt" "/home/ben/code/racket/zordoz/private/dispatch-table.rkt" "/home/ben/code/racket/zordoz/private/zo-find.rkt" "/home/ben/code/racket/zordoz/private/zo-shell.rkt" "/home/ben/code/racket/zordoz/private/zo-string.rkt" "/home/ben/code/racket/zordoz/private/zo-syntax.rkt" "/home/ben/code/racket/zordoz/private/zo-transition.rkt" "/home/ben/code/racket/zordoz/scribblings/api.scrbl" "/home/ben/code/racket/zordoz/scribblings/future-work.scrbl" "/home/ben/code/racket/zordoz/scribblings/overview.scrbl" "/home/ben/code/racket/zordoz/scribblings/repl.scrbl" "/home/ben/code/racket/zordoz/scribblings/zordoz.scrbl" "/home/ben/code/racket/zordoz/typed/main.rkt" "/home/ben/code/racket/zordoz/typed/private/zo-find.rkt" "/home/ben/code/racket/zordoz/typed/private/zo-shell.rkt" "/home/ben/code/racket/zordoz/typed/private/zo-string.rkt" "/home/ben/code/racket/zordoz/typed/private/zo-syntax.rkt" "/home/ben/code/racket/zordoz/typed/private/zo-transition.rkt" "/home/ben/code/racket/zordoz/typed/typed-zo-structs.rkt" "/home/ben/code/racket/zordoz/zordoz.rkt")

[florence]

Whats going on here is that the coverage info is actually generated for info.rkt but the output is ignored.

This is cover because cover doesn't differentiate between files to cover and files to run. Which causes cover to compile some files it shouldn't.

[bennn]

Could you still filter the printed list?

[bennn]

Thanks!