jaxvacua.util.quit_function

quit_function(fn_name)

Hard-interrupt the main thread. Used by exit_after() as the timer callback when the wrapped function exceeds its budget.

Parameters:

fn_name (str) – Name of the function being aborted (printed to stderr).

Raises:

KeyboardInterrupt – Indirectly, via thread.interrupt_main().

Return type:

None