diff -r 440836d805e3 -r 4029552de5fc main_testing3/re_test5.scala --- a/main_testing3/re_test5.scala Thu Nov 03 11:30:09 2022 +0000 +++ b/main_testing3/re_test5.scala Tue Nov 08 00:27:47 2022 +0000 @@ -1,8 +1,6 @@ -import M3._ -val EVIL_urban = SEQ(STAR(STAR(CHAR('a'))), CHAR('b')) +import M3._ -assert(size(der('a', der('a', EVIL_urban))) == 28) -assert(size(der('a', der('a', der('a', EVIL_urban)))) == 58) +assert(flts(List(CHAR('a'), ZERO, ONE), Nil) == List(ZERO)) +assert(flts(List(CHAR('a'), ONE, ONE, CHAR('b')), Nil) == List(CHAR('a'), CHAR('b'))) +assert(flts(List(ONE ~ CHAR('a'), CHAR('b') ~ ONE), Nil) == List(ONE, CHAR('a'), CHAR('b'), ONE)) -assert(size(ders("aaaaaa".toList, EVIL_urban)) == 8) -assert(size(ders(("a" * 50).toList, EVIL_urban)) == 8)