A segment of a program is shown below:
⋮ _ _ _ _ _ _ z = x - 7; (|z = 5 ∧ n = 4|) ⋮
What is the dashed line hiding?
I think the dashed line is hiding:
(|x - 7 = 5|)
However, I am not sure if it is the correct solution, it would be nice to know how to solve this trivial problem.