diff --git a/benchmark/benchmark.py b/benchmark/benchmark.py index a0bbb0cef..991d2a9f1 100755 --- a/benchmark/benchmark.py +++ b/benchmark/benchmark.py @@ -531,7 +531,7 @@ def run_test( coder.run(with_message=instructions) dur += time.time() - start - if coder.num_control_c: + if coder.last_keyboard_interrupt: raise KeyboardInterrupt if no_unit_tests: