diff -r e66bd5c563eb -r b5b5583a3a08 progs/matcher/re2.sc --- a/progs/matcher/re2.sc Mon Jul 27 11:02:48 2020 +0100 +++ b/progs/matcher/re2.sc Thu Jul 30 13:50:54 2020 +0100 @@ -74,20 +74,23 @@ -// test: (a?{n}) (a{n}) @doc("Test (a?{n}) (a{n})") @main def test1() = { + println("Test (a?{n}) (a{n})") + for (i <- 0 to 1000 by 100) { println(f"$i: ${time_needed(2, matcher(EVIL1(i), "a" * i))}%.5f") } } -// test: (a*)* b + @doc("Test (a*)* b") @main def test2() = { - for (i <- 0 to 20) { + println("Test (a*)* b") + + for (i <- 0 to 20 by 2) { println(f"$i: ${time_needed(2, matcher(EVIL2, "a" * i))}%.5f") } }