Member predicate TupleObjectInternal::callResult
Holds if obj
is the result of calling this
and origin
is
the origin of obj
.
predicate callResult(ObjectInternal obj, CfgOrigin origin)
Holds if obj
is the result of calling this
and origin
is
the origin of obj
.
predicate callResult(ObjectInternal obj, CfgOrigin origin)