On Sep 13, 2007, at 2:14 AM, Joshua ben Jore wrote:
Do you know of any addons to the cover program to use information like "this method call site always resolves to the following destinations" or "if execution went through this part, what else probably happened?"
Sorry, I don't know of any extensions. I haven't even had to master all the command-line options to 'cover' yet, because it meets my needs so well.