main_testing3/re_test.sh
changeset 456 d076cb2e0b75
parent 455 557d18cce0f0
child 463 0315d9983cd0
equal deleted inserted replaced
455:557d18cce0f0 456:d076cb2e0b75
   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