crytic/slither

slither-prop: Update documentation and reference to include manticore-verifier

Open

#578 建立於 2020年8月18日

在 GitHub 查看
 (0 留言) (0 反應) (0 負責人)Python (886 fork)batch import
good first issuehelp wanted

倉庫指標

Star
 (4,769 star)
PR 合併指標
 (平均合併 54天 9小時) (30 天內合併 2 個 PR)

描述

manticore-verifier should work out of the box with slither-prop.

We need to update all the reference to Echidna to include Manticore, (including echidna_config.yaml and the wiki)

貢獻者指南

研究方向
檢查倉庫和wiki中當前對Echidna的引用，然後更新以包含Manticore。重點關注echidna config.yaml和屬性生成wiki頁面。
技術棧
無
領域
documentation
議題類型
文件
難度面向新貢獻者的預計實作難度，1 表示很小改動，5 表示專家級工作。
2
預計時間有經驗貢獻者完成調查、實作、測試並準備 pull request 的粗略時間範圍。
1-3 小時
活動狀態議題目前的可參與程度：新鮮、活躍、陳舊、阻塞或等待維護者輸入。
新近可參與
清晰度議題是否清楚說明預期改動、驗收標準和下一步。
清晰
前置要求
Git
新手友善度1-100 的估計分數，表示該議題對首次貢獻者的友善程度。
85