crytic/slither

Printer: echidna/manticore-verifier properties printer

Open

#606 opened on 2020年8月27日

GitHub で見る
 (0 comments) (0 reactions) (0 assignees)Python (886 forks)batch import
enhancementgood first issuehelp wantednew printer

Repository metrics

Stars
 (4,769 stars)
PR merge metrics
 (平均マージ 54d 9h) (30d で 2 merged PRs)

説明

Print something like:

Description | Name | Contract | Result
------------------------------------
Natspec doc | crytic_test | my_contract |

The output must be markdown-compatible, and have hyperlinks (compatible with the --markdown-root flag)

コントリビューターガイド