| changeset 286 | 269d7ca62c5e |
| parent 236 | fac3ebafbac1 |
| 285:475c39725698 | 286:269d7ca62c5e |
|---|---|
1 import CW10a._ |
|
1 |
2 |
2 assert(sread(Map(), 2) == 0) |
3 assert(sread(Map(), 2) == 0) |
3 assert(sread(Map(2 -> 1), 2) == 1) |
4 assert(sread(Map(2 -> 1), 2) == 1) |
4 assert(write(Map(), 1, 2) == Map(1 -> 2)) |
5 assert(write(Map(), 1, 2) == Map(1 -> 2)) |
5 assert(write(Map(1 -> 0), 1, 2) == Map(1 -> 2)) |
6 assert(write(Map(1 -> 0), 1, 2) == Map(1 -> 2)) |