filter_initial_states

filter_initial_states(result: CheckResult, model) → CheckResult

Restrict the model checking result to the initial states of the model.

Parameters:

• result – Model checking result (explicit, symbolic or hybrid).

• model – The model (sparse or symbolic) the result was computed for.

Returns:

The filtered result (the same object as result).