Rework: implement "max-states"

Description

When a limit of states is supplied and so many states are explored during the model checking process, the run should terminate gracefully.

Environment

None
Fixed

Assignee

Philipp Koerner

Reporter

Philipp Koerner

Priority

Major