equal
deleted
inserted
replaced
163 |
163 |
164 if (scala_assert "knight1.scala" "knight1_test3b.scala") |
164 if (scala_assert "knight1.scala" "knight1_test3b.scala") |
165 then |
165 then |
166 END=$(date +%s) |
166 END=$(date +%s) |
167 DIFF=$(( $END - $START )) |
167 DIFF=$(( $END - $START )) |
168 echo " It took $DIFF seconds" | tee -a $out |
168 echo " It took $DIFF seconds" | tee -a $out |
169 echo -e " --> success\n" | tee -a $out |
169 echo -e " --> success\n" | tee -a $out |
170 marks=$(( marks + 1 )) |
170 marks=$(( marks + 1 )) |
171 else |
171 else |
172 END=$(date +%s) |
172 END=$(date +%s) |
173 DIFF=$(( $END - $START )) |
173 DIFF=$(( $END - $START )) |