Traceability from specification to source code?

[Chris Johns]

On 18/4/20 12:41 am, Joel Sherrill wrote:
> FWIW I have finally confirmed what I long believed. That writing simple
> single logic expression if conditions makes statement coverage results
> approach those of the higher levels. Those address if conditions with
> multiple sub-expressions. Avoid using multiple sub-expressions and
> coverage is much simpler.

Thank you. Is this covered in the engineering manual, I could not find 
anything related? I think it would be worth capturing with examples 
where "multiple sub-expressions" is explained.

Thanks
Chris