| changeset 460 | f5c0749858fd |
| parent 421 | 864107857d27 |
| child 491 | 2a30c7dfe3ed |
--- a/main_marking3/re_test1.scala Sun Jan 15 10:58:13 2023 +0000 +++ b/main_marking3/re_test1.scala Sat Mar 11 22:01:53 2023 +0000 @@ -8,4 +8,7 @@ assert(nullable(ONE ~ ONE) == true) assert(nullable(ONE ~ CHAR('a')) == false) assert(nullable(STAR(ZERO)) == true) +assert(nullable(ALTs(List(ONE, CHAR('a'), ZERO))) == true) +assert(nullable(SEQs(List(ONE, ALTs(List(ONE, CHAR('a'), ZERO)), STAR(ZERO)))) == true) +