|
424
|
1 |
import M3._
|
390
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
2 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
3 |
val EVIL_urban = SEQ(STAR(STAR(CHAR('a'))), CHAR('b'))
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
4 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
5 |
assert(matcher(EVIL_urban, "a" * 1000000) == false)
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
6 |
assert(matcher(EVIL_urban, "a" * 1000000 ++ "b") == true)
|