Call Returned Unchanged (4)
if expression state at time t = "call_returned", then stack at time (t + 1) = stack at time t
Comments
Please log in to add comments
if expression state at time t = "call_returned", then stack at time (t + 1) = stack at time t
Please log in to add comments