Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revisionBoth sides next revision | ||
| alvis:sbrexample [2016/07/11 10:58] marcin | alvis:sbrexample [2021/09/23 08:51] (current) | ||
|---|---|---|---|
| Line 7: | Line 7: | ||
| < | < | ||
| agent S { | agent S { | ||
| - | loop { | + | loop { -- 1 |
| out put; -- 2 | out put; -- 2 | ||
| } | } | ||
| Line 15: | Line 15: | ||
| i :: Int = 0; | i :: Int = 0; | ||
| proc (i == 0) put { | proc (i == 0) put { | ||
| - | in put; | + | in put; -- 1 |
| i = 1; -- 2 | i = 1; -- 2 | ||
| exit; -- 3 | exit; -- 3 | ||
| Line 36: | Line 36: | ||
| {{ : | {{ : | ||
| - | **[[: | + | |