pep-material: main_testing5/bf_test6.scala@6e1237691307 (annotated)

286 5c57c407e27b updated Christian Urban <urbanc@in.tum.de> parents: 263 diff changeset	1	import CW10b._
263 5a16bcb4105e updated Christian Urban <urbanc@in.tum.de> parents: diff changeset	2
348 b5b6ed38c2f2 updated jars Christian Urban <christian.urban@kcl.ac.uk> parents: 286 diff changeset	3	//println(optimise(load_bff("benchmark.bf")).length)
b5b6ed38c2f2 updated jars Christian Urban <christian.urban@kcl.ac.uk> parents: 286 diff changeset	4	//println(optimise(load_bff("mandelbrot.bf")).length)
b5b6ed38c2f2 updated jars Christian Urban <christian.urban@kcl.ac.uk> parents: 286 diff changeset	5
384 6e1237691307 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 348 diff changeset	6	val urban_l1 = optimise(load_bff("benchmark.bf")).length
6e1237691307 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 348 diff changeset	7	val urban_l2 = optimise(load_bff("mandelbrot.bf")).length
6e1237691307 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 348 diff changeset	8
6e1237691307 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 348 diff changeset	9	assert(urban_l1 == 181)
6e1237691307 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 348 diff changeset	10	assert(urban_l2 == 11205)

author	Christian Urban <christian.urban@kcl.ac.uk>
	Fri, 15 Jan 2021 02:40:57 +0000
changeset 384	6e1237691307
parent 348	b5b6ed38c2f2
child 404	bf20a9fa5c29
permissions	-rw-r--r--