pep-material: main_testing5/bf_test7.scala@7acbef680bef (annotated)

404 5ff7ffa929cc updated Christian Urban <christian.urban@kcl.ac.uk> parents: 348 diff changeset	1	import M5b._
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(combine(optimise(load_bff("benchmark.bf"))).length)
194d6ee45800 updated jars Christian Urban <christian.urban@kcl.ac.uk> parents: 286 diff changeset	4	//println(combine(optimise(load_bff("mandelbrot.bf"))).length)
194d6ee45800 updated jars Christian Urban <christian.urban@kcl.ac.uk> parents: 286 diff changeset	5
263 43297a2f7740 updated Christian Urban <urbanc@in.tum.de> parents: diff changeset	6	assert(combine(optimise(load_bff("benchmark.bf"))).length == 134)
458 5a86b9983d32 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 404 diff changeset	7	assert(combine(optimise(load_bff("mandelbrot.bf"))).length == 6509)

author	Christian Urban <christian.urban@kcl.ac.uk>
	Sun, 15 Jan 2023 10:58:13 +0000
changeset 459	7acbef680bef
parent 458	5a86b9983d32
child 472	fbff6f601370
permissions	-rw-r--r--