trailofbits/manticore

[run]
source = manticore
omit =
    *__init__.py

[report]
exclude_lines =
    # Have to re-enable the standard pragma
    pragma: no cover

    # Don't try to cover special syntax "..." in abstract class
    @abstractmethod

    # Ignore informational/debugging log statements
    logger.info
    logger.debug

    # We don't bother testing code that's explicitly unimplemented
    raise NotImplementedError
    raise AssertionError
    raise Aarch64InvalidInstruction