Call Returned Unchanged (6)

if expression state at time t = "call_returned", then parent stack at time (t + 1) = parent stack at time t

Comments

Please log in to add comments