diff --git a/src/sage/doctest/forker.py b/src/sage/doctest/forker.py index 8bddadc1f48..03015f045e3 100644 --- a/src/sage/doctest/forker.py +++ b/src/sage/doctest/forker.py @@ -794,6 +794,13 @@ def compiler(example): outcome = SUCCESS check_timer.stop() + + # TESTING ONLY + if not hasattr(example, 'walltime'): + example.walltime = 0.0 + if not hasattr(example, 'cputime'): + example.cputime = 0.0 + self.total_walltime += example.walltime + check_timer.walltime # Report the outcome.