Call Returned Unchanged (2)

if expression state at time t = "call_returned", then the line at time (t + 1) = the line at time t

Comments

Please log in to add comments