pep-material: marking5/bf_test2.scala@41c4f7d85f59 (annotated)

253 4da8550b2d0b updated Christian Urban <urbanc@in.tum.de> parents: diff changeset	1
4da8550b2d0b updated Christian Urban <urbanc@in.tum.de> parents: diff changeset	2	assert(sread(Map(), 2) == 0)
4da8550b2d0b updated Christian Urban <urbanc@in.tum.de> parents: diff changeset	3	assert(sread(Map(2 -> 1), 2) == 1)
4da8550b2d0b updated Christian Urban <urbanc@in.tum.de> parents: diff changeset	4	assert(write(Map(), 1, 2) == Map(1 -> 2))
4da8550b2d0b updated Christian Urban <urbanc@in.tum.de> parents: diff changeset	5	assert(write(Map(1 -> 0), 1, 2) == Map(1 -> 2))

author	Christian Urban <urbanc@in.tum.de>
	Tue, 22 Jan 2019 12:53:05 +0000
changeset 258	41c4f7d85f59
parent 253	4da8550b2d0b
child 286	269d7ca62c5e
permissions	-rw-r--r--