equal
deleted
inserted
replaced
198 |
198 |
199 |
199 |
200 if [ $tsts -eq 0 ] |
200 if [ $tsts -eq 0 ] |
201 then |
201 then |
202 echo -e " val EVIL = SEQ(STAR(STAR(CHAR('a'))), CHAR('b'))" >> $out |
202 echo -e " val EVIL = SEQ(STAR(STAR(CHAR('a'))), CHAR('b'))" >> $out |
203 echo -e " ders(\"aaaaa\".toList, EVIL) == SEQ(SEQ(STAR(CHAR('a')),STAR(STAR(CHAR('a')))),CHAR('b'))" >> $out |
203 echo -e " ders(\"aaaaa\".toList, EVIL) == SEQs(List(STAR(CHAR('a')), STAR(STAR(CHAR('a'))), CHAR('b')))" >> $out |
204 echo -e " ders(List('b'), EVIL) == ONE" >> $out |
204 echo -e " ders(List('b'), EVIL) == ONE" >> $out |
205 echo -e " ders(\"bb\".toList, EVIL) == ZERO" >> $out |
205 echo -e " ders(\"bb\".toList, EVIL) == ZERO" >> $out |
206 echo -e " matcher(EVIL, \"a\" * 5 ++ \"b\") == true" >> $out |
206 echo -e " matcher(EVIL, \"a\" * 5 ++ \"b\") == true" >> $out |
207 echo -e " matcher(EVIL, \"b\") == true" >> $out |
207 echo -e " matcher(EVIL, \"b\") == true" >> $out |
208 echo -e " matcher(EVIL, \"bb\") == false" >> $out |
208 echo -e " matcher(EVIL, \"bb\") == false" >> $out |