pep-material: main_testing5/bf_test7.scala@b009f0e4bc3f (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>
	Sat, 11 Mar 2023 23:10:52 +0000
changeset 463	b009f0e4bc3f
parent 458	5a86b9983d32
child 472	fbff6f601370
permissions	-rw-r--r--