main_testing3/re_test1.scala
changeset 430 4029552de5fc
parent 403 312c9eb39ad8
child 472 fbff6f601370
--- a/main_testing3/re_test1.scala	Thu Nov 03 11:30:09 2022 +0000
+++ b/main_testing3/re_test1.scala	Tue Nov 08 00:27:47 2022 +0000
@@ -8,4 +8,6 @@
 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)