Assertion: symbolic execution | /r/CapableOf | fork two paths
Facets:
value: at each path
type: LOCATION
value: in theory
type: OTHER
value: at line
type: LOCATION
Source sentences:
text: In theory, symbolic execution would fork two paths at line 5 and each path from there on would have its own copy of the file.