crytic
Current testing modes information
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
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.
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
I think your questions are addressed in this PR. Please take a look and let us know if there is something missing.