on successful type check, output a coverage report #292
Description
After a successful (passing) run of the type checker, I'd like to see the following information:
- the total number and names of all AOs skipped due to presence in
esmeta-ignore.json(if one was used) - the total number and names of all AOs skipped by esmeta because they are in an unsupported section (Atomics-related, Modules-related, etc)
- the total number and names of all AOs that were only partially checked because they contain a step with phrasing that is not yet understood, along with the step number that caused the bail out
This would better help me understand how much of the spec is actually being checked by esmeta (as "passing" doesn't mean 100% checked) and improve coverage by addressing phrasing used in AOs in the final category.
The current output logs don't appear to contain this information. And I'd prefer this was output to stdout anyway since it is necessary to understand what "success" means.