change formatting of CPU time when getting TLE

emphasizes that time limit exceeded means the submission was terminated
early. by default this would show the time as "10.035 sec" or similar,
which has misled people in the past.

Author: prandla

cms/grading/scoretypes/abc.py

@@ -36,6 +36,7 @@
 
 from cms import FEEDBACK_LEVEL_RESTRICTED
 from cms.db import SubmissionResult
+from cms.grading.steps import EVALUATION_MESSAGES
 from cms.locale import Translation, DEFAULT_TRANSLATION
 from cms.server.jinja2_toolbox import GLOBAL_ENVIRONMENT
 from jinja2 import Template
@@ -295,7 +296,9 @@ class ScoreTypeGroup(ScoreTypeAlone):
                     </td>
             {% if feedback_level == FEEDBACK_LEVEL_FULL %}
                     <td class="execution-time">
-                {% if "time" in tc and tc["time"] is not none %}
+                {% if "time_override" in tc and tc["time_override"] is not none %}
+                        &gt; {{ tc["time_override"]|format_duration }}
+                {% elif "time" in tc and tc["time"] is not none %}
                         {{ tc["time"]|format_duration }}
                 {% else %}
                         {% trans %}N/A{% endtrans %}
@@ -430,11 +433,17 @@ def compute_score(self, submission_result):
                 tc_outcome = self.get_public_outcome(
                     tc_score, parameter)
 
+                time_override = None
+                if evaluations[tc_idx].text == [EVALUATION_MESSAGES.get("timeout").message]:
+                    dataset = evaluations[tc_idx].dataset
+                    time_override = dataset.time_limit
+
                 testcases.append({
                     "idx": tc_idx,
                     "outcome": tc_outcome,
                     "text": evaluations[tc_idx].text,
                     "time": evaluations[tc_idx].execution_time,
+                    "time_override": time_override,
                     "memory": evaluations[tc_idx].execution_memory,
                     "show_in_restricted_feedback": self.public_testcases[tc_idx],
                     "show_in_oi_restricted_feedback": self.public_testcases[tc_idx]})