time.perf_counter

maurycy · maurycy · commit 53ef884df2af · 2026-07-30T14:51:48.000+02:00
diff --git a/Tools/inspection/oracle_external_inspection.py b/Tools/inspection/oracle_external_inspection.py
@@ -173,6 +173,9 @@ def run_mode(case, mode_name, args):
                 if not args.poisson_sampling:
                     next_sample += period
 
+            if time.perf_counter() >= deadline:
+                break
+
             result["attempts"] += 1
             work_start = time.perf_counter()
             try:
