Assertion: function coverage | /r/HasProperty | satisfied
Facets:
Source sentences:
text: If during this execution function 'foo' was called at least once, then function coverage for this function is satisfied.