| changeset 421 | 864107857d27 |
| parent 392 | e776db3c808b |
| child 491 | 2a30c7dfe3ed |
| 420:a6db2b70abdd | 421:864107857d27 |
|---|---|
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)) |