Skip to content
This repository has been archived by the owner on Jan 25, 2022. It is now read-only.

How to ignore lines? #212

Open
PaulRBerg opened this issue May 27, 2019 · 1 comment
Open

How to ignore lines? #212

PaulRBerg opened this issue May 27, 2019 · 1 comment
Labels
enhancement New feature or request

Comments

@PaulRBerg
Copy link

PaulRBerg commented May 27, 2019

Other tools such as eslint have the ability to ignore specific lines by prepending the code with a comment (for example, eslint-disable-next-line).

There seems to be possible to exclude specific SWC codes, but I haven't seen anything in the documentation about ignoring lines. Did I miss that or is it not currently possible?

Update: I saw @willclarktech's comment: #136 (comment).

@elenadimitrova
Copy link

In the colonyNetwork repo we solved this with our own local rule ignores, similar to eslint: e.g. // ignore-swc-103 appended to the end of the line you want to ignore in the contract. Then run the mythril json report through this script that compares the reported warnings/errors with ignored lines.
This is how we run it in the nightly CI builds.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

3 participants