equal
deleted
inserted
replaced
136 echo -e " simp((ZERO | ((ZERO | ZERO) | (ZERO | ZERO))) ~ ((ONE | ZERO) | ONE ) ~ (CHAR('a'))) == ZERO" >> $out |
136 echo -e " simp((ZERO | ((ZERO | ZERO) | (ZERO | ZERO))) ~ ((ONE | ZERO) | ONE ) ~ (CHAR('a'))) == ZERO" >> $out |
137 echo -e " simp(ALT(ONE | ONE, ONE | ONE)) == ONE" >> $out |
137 echo -e " simp(ALT(ONE | ONE, ONE | ONE)) == ONE" >> $out |
138 echo -e " simp(ALT(ZERO | CHAR('a'), CHAR('a') | ZERO)) == CHAR('a')" >> $out |
138 echo -e " simp(ALT(ZERO | CHAR('a'), CHAR('a') | ZERO)) == CHAR('a')" >> $out |
139 echo -e " simp(ALT(ONE | CHAR('a'), CHAR('a') | ONE)) == ALT(ONE, CHAR('a'))" >> $out |
139 echo -e " simp(ALT(ONE | CHAR('a'), CHAR('a') | ONE)) == ALT(ONE, CHAR('a'))" >> $out |
140 echo -e " simp(ALTs(Nil)) == ZERO" >> $out |
140 echo -e " simp(ALTs(Nil)) == ZERO" >> $out |
141 echo -e " simp(SEQs(CHAR('a'))) == CHAR('a')" >> $out |
141 echo -e " simp(SEQs(List(CHAR('a')))) == CHAR('a')" >> $out |
142 if (scala_assert "re.scala" "re_test3.scala") |
142 if (scala_assert "re.scala" "re_test3.scala") |
143 then |
143 then |
144 echo -e " --> success" >> $out |
144 echo -e " --> success" >> $out |
145 else |
145 else |
146 echo -e " --> \n ONE TEST FAILED\n" >> $out |
146 echo -e " --> \n ONE TEST FAILED\n" >> $out |