Printer: echidna/manticore-verifier properties printer
Open
enhancement
good first issue
help wanted
new printer
- Dominant language
- Python
- Stars
- 6.4k
- Forks
- 1.1k
- PR merge metrics
- No merged PRs in 30d
Description
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)
Contributor guide
Assessment
This issue has not been assessed yet.