search

crytic / echidna

Ethereum smart contract fuzzer
https://secure-contracts.com/program-analysis/echidna/index.html
GNU Affero General Public License v3.0
2.71k stars 359 forks source link

Current testing modes information #1107

Open n00b21337 opened 1 year ago

n00b21337 commented 1 year ago

I don't know what current testing modes are. In docs there are stated these modes https://github.com/crytic/building-secure-contracts/blob/master/program-analysis/echidna/basic/testing-modes.md

but in the default config I see different options to use https://github.com/crytic/echidna/blob/master/tests/solidity/basic/default.yaml

ggrieco-tob commented 1 year ago

What do you mean exactly that you "see different options to use" in the default.yaml file? This file contains the default value for every option, which goes beyond the selection of testMode.

n00b21337 commented 1 year ago

What do you mean exactly that you "see different options to use" in the default.yaml file? This file contains the default value for every option, which goes beyond the selection of testMode.

Sorry if not clear.

So in config, it says

select the mode to test, which can be property, assertion, overflow, exploration, optimization

testMode: "property"

and in docs these testing modes are stated, so this is what I am confused about

Boolean Properties Assertions Dapptest Stateless vs. Stateful

ggrieco-tob commented 1 year ago

I think your questions are addressed in this PR. Please take a look and let us know if there is something missing.