crytic / crytic/echidna

Using exploration mode will ignore functions named as properties (e.g. echidna_*)

Open
#1,347 0 comments 0 reactions 0 assignees View on GitHub
bug
Dominant language
Haskell
Stars
3.2k
Forks
432
Avg merge
1d 20h
Merged PRs (30d)
5

Description

In exploration mode, all the functions can be executed regardless of its name, so the prefix must be ignored.

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.