install_signal_handler

Warning

The stormpy developer API is internal and can be subject to change.

install_signal_handler(maximal_wait_time: SupportsInt | SupportsIndex) → None

Install signal handler for timeouts and interrupts