crytic / crytic/slither

/* slither-disable-next-line ... */

Open
#834 0 comments 2 reactions 0 assignees View on GitHub
Dominant language
Python
Stars
6.4k
Forks
1.1k
PR merge metrics
No merged PRs in 30d

Description

`// slither-disable-next-line ...` works, `/* slither-disable-next-line ... */ ` does not.

It would be nice to have support for `/* */` style as well. We use `//` for a comment on the rationale of code and prefer `/* */` over `//` for e.g. solhint as it looks different and stands out.

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.