diff -r 31b81f20fd9a -r fbff6f601370 main_testing3/re_test8.scala --- a/main_testing3/re_test8.scala Thu Nov 02 13:53:37 2023 +0000 +++ b/main_testing3/re_test8.scala Thu Nov 02 23:34:53 2023 +0000 @@ -1,8 +1,12 @@ -import M3._ -val EVIL_urban = SEQ(STAR(STAR(CHAR('a'))), CHAR('b')) + +def urbanmain() = { + + import M3._ + val EVIL_urban = SEQ(STAR(STAR(CHAR('a'))), CHAR('b')) -assert(size(der('a', der('a', EVIL_urban))) == 36) -assert(size(der('a', der('a', der('a', EVIL_urban)))) == 83) + assert(size(der('a', der('a', EVIL_urban))) == 36) + assert(size(der('a', der('a', der('a', EVIL_urban)))) == 83) -assert(size(ders("aaaaaa".toList, EVIL_urban)) == 7) -assert(size(ders(("a" * 50).toList, EVIL_urban)) == 7) + assert(size(ders("aaaaaa".toList, EVIL_urban)) == 7) + assert(size(ders(("a" * 50).toList, EVIL_urban)) == 7) +}