Standards /

WCPS-Tutorial / Multiple coverages: how to combine several coverages

Up to now we have processed single coverages. Sometimes, however, combining several coverages in one evaluation is required. This can mean different things, though:

Both alternatives will be inspected in turn.

See manual: coverageListExpr