pep-material: main_testing5/bf_test6.scala@627a944c744b (annotated)

286 269d7ca62c5e updated Christian Urban <urbanc@in.tum.de> parents: 263 diff changeset	1	import CW10b._
263 43297a2f7740 updated Christian Urban <urbanc@in.tum.de> parents: diff changeset	2
348 194d6ee45800 updated jars Christian Urban <christian.urban@kcl.ac.uk> parents: 286 diff changeset	3	//println(optimise(load_bff("benchmark.bf")).length)
194d6ee45800 updated jars Christian Urban <christian.urban@kcl.ac.uk> parents: 286 diff changeset	4	//println(optimise(load_bff("mandelbrot.bf")).length)
194d6ee45800 updated jars Christian Urban <christian.urban@kcl.ac.uk> parents: 286 diff changeset	5
384 627a944c744b updated Christian Urban <christian.urban@kcl.ac.uk> parents: 348 diff changeset	6	val urban_l1 = optimise(load_bff("benchmark.bf")).length
627a944c744b updated Christian Urban <christian.urban@kcl.ac.uk> parents: 348 diff changeset	7	val urban_l2 = optimise(load_bff("mandelbrot.bf")).length
627a944c744b updated Christian Urban <christian.urban@kcl.ac.uk> parents: 348 diff changeset	8
627a944c744b updated Christian Urban <christian.urban@kcl.ac.uk> parents: 348 diff changeset	9	assert(urban_l1 == 181)
627a944c744b 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	627a944c744b
parent 348	194d6ee45800
child 404	5ff7ffa929cc
permissions	-rw-r--r--