Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| language:langs:chp [2025/05/01 17:04] – [Debugging during simulation] rajit | language:langs:chp [2025/11/17 18:26] (current) – [Debugging and other support functions for simulation] 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 ) |
| ] | ] | ||
| </ | </ | ||
| Line 357: | Line 357: | ||
| </ | </ | ||
| - | Booleans are displayed as integers, with '' | + | Booleans are displayed as integers, with '' |
| Other support functions of this type are: | Other support functions of this type are: | ||