| changeset 424 | daf561a83ba6 |
| parent 392 | 97ecdc8cb61b |
| 423:e9d14d58be3c | 424:daf561a83ba6 |
|---|---|
1 import CW10a._ |
1 import M5a._ |
2 |
2 |
3 assert(sread(Map(), 2) == 0) |
3 assert(sread(Map(), 2) == 0) |
4 assert(sread(Map(2 -> 1), 2) == 1) |
4 assert(sread(Map(2 -> 1), 2) == 1) |
5 assert(write(Map(), 1, 2) == Map(1 -> 2)) |
5 assert(write(Map(), 1, 2) == Map(1 -> 2)) |
6 assert(write(Map(1 -> 0), 1, 2) == Map(1 -> 2)) |
6 assert(write(Map(1 -> 0), 1, 2) == Map(1 -> 2)) |