states.rst

States

Accessing

.. autoclass:: manticore.core.manticore.ManticoreBase
    :noindex:
    :undoc-members:
    :members: all_states, ready_states, count_ready_states, count_busy_states, killed_states, count_killed_states, terminated_states, count_terminated_states

Operations

.. autoclass:: manticore.core.state.StateBase
    :members:
    :undoc-members:
    :exclude-members: all_states, ready_states, count_ready_states, count_busy_states, killed_states, count_killed_states, terminated_states, count_terminated_states

Inspecting

.. autoclass:: manticore.core.plugin.StateDescriptor
    :members:
    :undoc-members: