Call Returned Unchanged (5)

if expression state at time t = "call_returned", then Return Value at time (t + 1) = Return Value at time t

Comments

Please log in to add comments