import CW8c._+
−
+
−
val EVIL_urban = SEQ(STAR(STAR(CHAR('a'))), CHAR('b'))+
−
+
−
assert(matcher(EVIL_urban, "a" * 1000000) == false)+
−
assert(matcher(EVIL_urban, "a" * 1000000 ++ "b") == true)+
−