#25 results file distinct from logfile

[Ed Spittles]

Hi Trevor
The names-only option is useful for the subsequent tailoring of simulation sets, and a (verbose) log is good to see what's happening - please could you implement a names-only-to-file kind of option so the simple parseable list of cdd files doesn't need to be filtered from the log stream?

Thanks!
Ed

[Trevor Williams]

Ed,

If the -names-only option is specified along with the -o option, the list of diagnostic names should be output to the specified file. Is this functionality enough or is more (as you are suggesting) required? If more is needed, would it suffice to allow the user to specify "-names-only=<filename>" to output this information to the specified file (while the rank verbose output could be written to the file specified by -o (or standard output if no -o option is specified)?</filename>

Thanks,
Trevor

Thanks,
Trevor

[Ed Spittles]

Hi Trevor
yes, I'd prefer more than just the present -o and -names-only.
I think -names-only=filename will do the trick: from an implementation perspective, I'm proposing you need two filehandles, one for the bare list of accepted cdds, and the other for the verbose commentary. The latter might be stdout of course.
I'd also quite like to retain the tabulated and cumulative stats for the entire set of cdds (but only in the log stream of course) if you could do that.

In other words, I'd like to get from one invocation what I can presently get by running twice:
covered rank -v -o logfile
covered rank -names-only -o cddlistfile

Cheers
Ed

[Trevor Williams]

Okay, I understand the request and it seems reasonable to me. With the relatively long rank command runs that you have encountered, this would probably be a significant time-savings feature for you (and others doing similar things).