Assertion: symbolic execution | /r/CapableOf | compute concrete value
Facets:
value: for λ
type: TRANSITIVE-OBJECT
Source sentences:
text: When paths terminate (e.g., as a result of executing fail() or simply exiting), symbolic execution computes a concrete value for λ by solving the accumulated path constraints on each path.