diff -r cfff88de2ff5 -r 21f41e08457d marking/re1d_test.scala --- a/marking/re1d_test.scala Tue Dec 20 01:48:09 2016 +0000 +++ b/marking/re1d_test.scala Wed Dec 21 01:19:25 2016 +0000 @@ -5,20 +5,32 @@ import scala.language.postfixOps -val EVIL = SEQ(STAR(STAR(CHAR('a'))), CHAR('b')) +val EVIL_urban = SEQ(STAR(STAR(CHAR('a'))), CHAR('b')) lazy val f = Future { - assert(ders(List.fill(5)('a'), EVIL) == SEQ(SEQ(STAR(CHAR('a')),STAR(STAR(CHAR('a')))),CHAR('b'))) - assert(ders(List('b'), EVIL) == ONE) - assert(ders(List('b','b'), EVIL) == ZERO) - assert(matcher(EVIL, "a" * 5 ++ "b") == true) - assert(matcher(EVIL, "b") == true) - assert(matcher(EVIL, "bb") == false) + println("1") + assert(ders(List.fill(5)('a'), EVIL_urban) == SEQ(SEQ(STAR(CHAR('a')),STAR(STAR(CHAR('a')))),CHAR('b'))) + println("2") + assert(ders(List('b'), EVIL_urban) == ONE) + println("3") + assert(ders(List('b','b'), EVIL_urban) == ZERO) + println("4") + assert(matcher(EVIL_urban, "a" * 5 ++ "b") == true) + println("5") + assert(matcher(EVIL_urban, "b") == true) + println("6") + assert(matcher(EVIL_urban, "bb") == false) + println("7") assert(matcher("abc", "abc") == true) + println("8") assert(matcher(("ab" | "a") ~ (ONE | "bc"), "abc") == true) + println("9") assert(matcher(ONE, "") == true) + println("10") assert(matcher(ZERO, "") == false) + println("11") assert(matcher(ONE | CHAR('a'), "") == true) + println("12") assert(matcher(ONE | CHAR('a'), "a") == true) }