DO NOT MERGE

another debugging hack to try to figure out what's going wrong on macOS
orlitzky · Oct 16, 2024 · 12c0fa6 · 12c0fa6
1 parent 3345086
commit 12c0fa6
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/sage/doctest/forker.py b/src/sage/doctest/forker.py
@@ -794,6 +794,13 @@ def compiler(example):
                         outcome = SUCCESS
 
             check_timer.stop()
+
+            # DO NOT MERGE
+            if not hasattr(example, 'walltime'):
+                # Do we get an exception before
+                # timer.stop().annotate(example) is called?
+                raise exception
+
             self.total_walltime += example.walltime + check_timer.walltime
 
             # Report the outcome.