diff -r f70d74fea67f -r 2a30c7dfe3ed main_marking5/bf_test1.scala --- a/main_marking5/bf_test1.scala Sun Sep 15 12:57:59 2024 +0100 +++ b/main_marking5/bf_test1.scala Mon Jul 21 16:38:07 2025 +0100 @@ -1,4 +1,8 @@ -import M5a._ + +def urbanmain() = { + import M5a._ -assert(load_bff("benchmark.bf").length == 188) -assert(load_bff("foobar.bf") == "") + assert(load_bff("benchmark.bf").length == 188) + assert(load_bff("foobar.bf") == "") + +}