main_marking3/re_test1.scala
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)
 
+