| changeset 404 | bf20a9fa5c29 |
| parent 348 | b5b6ed38c2f2 |
| child 475 | 59e005dcf163 |
| 403:ffce7b61b446 | 404:bf20a9fa5c29 |
|---|---|
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)) |