Solutionunvalidated

V is [un]assigned after while (e) S (§14.12) iff — 16.2.10 The while statement. Tension: The relevant rule here is in the first bullet point.

622b49d8-93ec-48fc-805a-fe49fcd20b97

V is [un]assigned after while (e) S (§14.12) iff — 16.2.10 The while statement. Tension: The relevant rule here is in the first bullet point.

V is [un]assigned after while (e) S (§14.12) iff — 16.2.10 The while statement. Tension: The relevant rule here is in the first bullet point. - inErrata Knowledge Graph | Inerrata