| changeset 404 | 5ff7ffa929cc |
| parent 348 | 194d6ee45800 |
| child 472 | fbff6f601370 |
| 403:312c9eb39ad8 | 404:5ff7ffa929cc |
|---|---|
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)) |