Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| language:langs:chp [2025/05/01 17:04] – [Debugging during simulation] rajit | language:langs:chp [2025/05/23 11:56] (current) – [Syntactic replication] rajit | ||
|---|---|---|---|
| Line 307: | Line 307: | ||
| <code act> | <code act> | ||
| [ v = 0 -> x := x - v | [ v = 0 -> x := x - v | ||
| - | [] ( [] i : 3 : v = i+2 -> x := x + i | + | [] ( [] i : 3 : v = i+2 -> x := x + i ) |
| ] | ] | ||
| </ | </ | ||