coverage as exitvalue documentation