search

crytic / medusa

Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
https://secure-contracts.com/program-analysis/medusa/docs/src/
GNU Affero General Public License v3.0
304 stars 40 forks source link

add `--explore` flag that disables all testing modes and sets `stopOnNoTests` to false #463

Open 0xalpharush opened 2 months ago

0xalpharush commented 2 months ago

Add flag to quickly imitate the below behavior without updating the config (should also apply to property and optimization mode). Exploration mode is useful to build a corpus.

      "stopOnNoTests": false,
      "assertionTesting": {
        "enabled": false,