equal
deleted
inserted
replaced
106 echo " simp(ZERO | ONE) == ONE" | tee -a $out |
106 echo " simp(ZERO | ONE) == ONE" | tee -a $out |
107 echo " simp(STAR(ZERO | ONE)) == STAR(ZERO | ONE)" | tee -a $out |
107 echo " simp(STAR(ZERO | ONE)) == STAR(ZERO | ONE)" | tee -a $out |
108 echo " simp(ONE ~ (ONE ~ (ONE ~ CHAR('a')))) == CHAR('a')" | tee -a $out |
108 echo " simp(ONE ~ (ONE ~ (ONE ~ CHAR('a')))) == CHAR('a')" | tee -a $out |
109 echo " simp(ONE ~ (ONE ~ (ONE ~ ZERO))) == ZERO" | tee -a $out |
109 echo " simp(ONE ~ (ONE ~ (ONE ~ ZERO))) == ZERO" | tee -a $out |
110 echo " simp(ALT(ONE ~ (ONE ~ (ONE ~ ZERO)), CHAR('a'))) == CHAR('a')" | tee -a $out |
110 echo " simp(ALT(ONE ~ (ONE ~ (ONE ~ ZERO)), CHAR('a'))) == CHAR('a')" | tee -a $out |
|
111 echo " simp(CHAR('a') | CHAR('a')) == CHAR('a')" | tee -a $out |
|
112 echo " simp(ONE | CHAR('a')) == (ONE | CHAR('a'))" | tee -a $out |
111 |
113 |
112 if (scala_assert "re.scala.bak" "../../../marking/re1c_test.scala") |
114 if (scala_assert "re.scala.bak" "../../../marking/re1c_test.scala") |
113 then |
115 then |
114 echo " --> success" | tee -a $out |
116 echo " --> success" | tee -a $out |
115 marks=$(( marks + 1 )) |
117 marks=$(( marks + 1 )) |
129 echo " matcher(EVIL, \"bb\") == false" | tee -a $out |
131 echo " matcher(EVIL, \"bb\") == false" | tee -a $out |
130 echo " matcher(\"abc\", \"abc\") == true" | tee -a $out |
132 echo " matcher(\"abc\", \"abc\") == true" | tee -a $out |
131 echo " matcher((\"ab\" | \"a\") ~ (ONE | \"bc\"), \"abc\") == true" | tee -a $out |
133 echo " matcher((\"ab\" | \"a\") ~ (ONE | \"bc\"), \"abc\") == true" | tee -a $out |
132 echo " matcher(ONE, \"\") == true" | tee -a $out |
134 echo " matcher(ONE, \"\") == true" | tee -a $out |
133 echo " matcher(ZERO, \"\") == false" | tee -a $out |
135 echo " matcher(ZERO, \"\") == false" | tee -a $out |
|
136 echo " matcher(ONE | CHAR('a'), \"\") == true" | tee -a $out |
|
137 echo " matcher(ONE | CHAR('a'), \"a\") == true" | tee -a $out |
134 |
138 |
135 if (scala_assert "re.scala.bak" "../../../marking/re1d_test.scala") |
139 if (scala_assert "re.scala.bak" "../../../marking/re1d_test.scala") |
136 then |
140 then |
137 echo " --> success" | tee -a $out |
141 echo " --> success" | tee -a $out |
138 marks=$(( marks + 1 )) |
142 marks=$(( marks + 1 )) |