--- a/marking5/bf_test1.scala	Fri Apr 26 17:29:30 2024 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,4 +0,0 @@
-import CW10a._ 
-
-assert(load_bff("benchmark.bf").length == 188)
-assert(load_bff("foobar.bf") == "")