Assertion: stub | /r/HasProperty | designed provide minimal overhead
Facets:
value: to the pex white box analysis
type: OTHER
Source sentences:
text: Stubs was designed provide a minimal overhead to the Pex white box analysis, and Stubs supports the Code Contracts runtime rewriter and encourage the programmatic models rather than record/replay tests.