pep-material: marking5/bf_test2.scala@2692329287bb (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>
	Sat, 22 Jun 2019 08:39:52 +0100
changeset 265	2692329287bb
parent 253	4da8550b2d0b
child 286	269d7ca62c5e
permissions	-rw-r--r--