main_testing3/re_test.sh
changeset 453 7dec9d748178
parent 452 ee348feb4c37
child 460 f5c0749858fd
equal deleted inserted replaced
452:ee348feb4c37 453:7dec9d748178
   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