main_testing3/re_test.sh
changeset 403 ffce7b61b446
parent 376 6cc36d0ef79e
child 424 daf561a83ba6
--- a/main_testing3/re_test.sh	Mon Nov 08 01:16:13 2021 +0000
+++ b/main_testing3/re_test.sh	Mon Nov 08 01:39:00 2021 +0000
@@ -120,7 +120,7 @@
   echo -e " simp((ZERO | ((ZERO | ZERO) | (ZERO | ZERO))) ~ ((ONE | ZERO) | ONE ) ~ (CHAR('a'))) == ZERO" >> $out
   echo -e " simp(ALT(ONE | ONE, ONE | ONE)) == ONE" >> $out
   echo -e " simp(ALT(ZERO | CHAR('a'), CHAR('a') | ZERO)) == CHAR('a')" >> $out
-  echo -e " simp(ALT(ONE | CHAR('a'), CHAR('a') | ONE)) == ALT(ONE | CHAR('a'), CHAR('a') | ONE)" >> $out
+  echo -e " simp(ALT(ONE | CHAR('a'), CHAR('a') | ONE)) == ALT(ONE, CHAR('a'))" >> $out
   if (scala_assert "re.scala" "re_test3.scala")
   then
     echo -e "  --> success" >> $out