When cancelling a verification job, it might be useful to get the data collected so far. e.g. solved queries and/or statistics on how many states have been explored so far etc.
Catching the SIGTERM interrupt signal would enable this sort of behavior to be implemented
When cancelling a verification job, it might be useful to get the data collected so far. e.g. solved queries and/or statistics on how many states have been explored so far etc.
Catching the SIGTERM interrupt signal would enable this sort of behavior to be implemented