|
424
|
1 |
import M5a._
|
392
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
2 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
3 |
assert(sread(Map(), 2) == 0)
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
4 |
assert(sread(Map(2 -> 1), 2) == 1)
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
5 |
assert(write(Map(), 1, 2) == Map(1 -> 2))
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
6 |
assert(write(Map(1 -> 0), 1, 2) == Map(1 -> 2))
|