equal
deleted
inserted
replaced
183 echo -e " SEQs_smart(List(ZERO)) == ZERO" >> $out |
183 echo -e " SEQs_smart(List(ZERO)) == ZERO" >> $out |
184 echo -e " SEQs_smart(List(CHAR('a'))) == CHAR('a')" >> $out |
184 echo -e " SEQs_smart(List(CHAR('a'))) == CHAR('a')" >> $out |
185 echo -e " SEQs_smart(List(ONE ~ ONE)) == ONE ~ ONE" >> $out |
185 echo -e " SEQs_smart(List(ONE ~ ONE)) == ONE ~ ONE" >> $out |
186 echo -e " SEQs_smart(List(ONE, ONE)) == SEQs(List(ONE, ONE))" >> $out |
186 echo -e " SEQs_smart(List(ONE, ONE)) == SEQs(List(ONE, ONE))" >> $out |
187 echo -e " ALTs_smart(Nil) == ZERO" >> $out |
187 echo -e " ALTs_smart(Nil) == ZERO" >> $out |
188 echo -e " ALTs_smart(List(ONE ~ ONE)) == ONE ~ ONE)" >> $out |
188 echo -e " ALTs_smart(List(ONE ~ ONE)) == ONE ~ ONE" >> $out |
189 echo -e " ALTs_smart(List(ZERO, ZERO)) == ALTs(List(ZERO, ZERO))" >> $out |
189 echo -e " ALTs_smart(List(ZERO, ZERO)) == ALTs(List(ZERO, ZERO))" >> $out |
190 |
190 |
191 if (scala_assert "re.scala" "re_test6.scala") |
191 if (scala_assert "re.scala" "re_test6.scala") |
192 then |
192 then |
193 echo -e " --> success" >> $out |
193 echo -e " --> success" >> $out |