Skip to content

Catch SIGTERM and handle it properly #48

@sillydan1

Description

@sillydan1

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

Metadata

Metadata

Assignees

No one assigned

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions