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

253 ec7a12806c3f updated Christian Urban <urbanc@in.tum.de> parents: diff changeset	1
ec7a12806c3f updated Christian Urban <urbanc@in.tum.de> parents: diff changeset	2	assert(sread(Map(), 2) == 0)
ec7a12806c3f updated Christian Urban <urbanc@in.tum.de> parents: diff changeset	3	assert(sread(Map(2 -> 1), 2) == 1)
ec7a12806c3f updated Christian Urban <urbanc@in.tum.de> parents: diff changeset	4	assert(write(Map(), 1, 2) == Map(1 -> 2))
ec7a12806c3f 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>
	Wed, 16 Jan 2019 12:20:34 +0000
changeset 253	ec7a12806c3f
child 286	5c57c407e27b
permissions	-rw-r--r--