dwarfcore.detectors.testing module

class dwarfcore.detectors.testing.DetectAllPaths

Bases: manticore.core.plugin.Plugin

MCORE_TESTCASE_LIST: Final[str] = 'TestDetector'

manticore

record_testcase(state: manticore.native.state.State, message: str)

Parameters

• state (manticore.native.state.State) –

• message (str) –

property results: List[mate_common.models.integration.ReachingTestCase]

Any test case results found during execution.

will_terminate_state_callback(state, reason)