equal
deleted
inserted
replaced
103 |
103 |
104 if [ $tsts -eq 0 ] |
104 if [ $tsts -eq 0 ] |
105 then |
105 then |
106 echo -e " der('a', ZERO | ONE) == (ZERO | ZERO)" >> $out |
106 echo -e " der('a', ZERO | ONE) == (ZERO | ZERO)" >> $out |
107 echo -e " der('a', (CHAR('a') | ONE) ~ CHAR('a')) ==" >> $out |
107 echo -e " der('a', (CHAR('a') | ONE) ~ CHAR('a')) ==" >> $out |
108 echo -e " ALT((ONE | ZERO) ~ CHAR('a'), ONE)" >> $out |
108 echo -e " ALT((ONE | ZERO) ~ CHAR('a'), SEQs(List(ONE)))" >> $out |
109 echo -e " der('a', (CHAR('a') | CHAR('a')) ~ CHAR('a')) == (ONE | ONE) ~ CHAR('a')" >> $out |
109 echo -e " der('a', (CHAR('a') | CHAR('a')) ~ CHAR('a')) == (ONE | ONE) ~ CHAR('a')" >> $out |
110 echo -e " der('a', STAR(CHAR('a'))) == (ONE ~ STAR(CHAR('a')))" >> $out |
110 echo -e " der('a', STAR(CHAR('a'))) == (ONE ~ STAR(CHAR('a')))" >> $out |
111 echo -e " der('b', STAR(CHAR('a'))) == (ZERO ~ STAR(CHAR('a')))" >> $out |
111 echo -e " der('b', STAR(CHAR('a'))) == (ZERO ~ STAR(CHAR('a')))" >> $out |
112 |
112 |
113 if (scala_assert "re.scala" "re_test2.scala") |
113 if (scala_assert "re.scala" "re_test2.scala") |