- Desiderable coverage
- Desiderable coverage. Fixed an error
- Coverage using our trace.
- Some errors in the compact log fixed