crytic / crytic/crytic-compile

API: add is_ignored helper

Open
#103 0 comments 0 reactions 0 assignees View on GitHub
enhancement
Dominant language
Python
Stars
197
Forks
97
PR merge metrics
No merged PRs in 30d

Description

Similar to `is_supported`, we should have a way for third party to know if any of the ignore compile flags set.

Alternatively, we might want to remove all the ignore compile flags, except for `--ignore-compile`; I am not convinced it makes sense anymore to keep individual flag per platform

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.