| changeset 286 | 5c57c407e27b |
| parent 236 | e461b5325b5e |
| 285:bd9d142d2cd8 | 286:5c57c407e27b |
|---|---|
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)) |