mirror of
https://github.com/crytic/echidna.git
synced 2026-10-12 02:12:32 +00:00
Gustavo GriecoandClaude Fable 5
f583f214b6
* allow to disable testing of view/pure function, except prefix ones in property mode * removed unused import * test/config: fix remaining CI failures for excludeViewPure - default.yaml: add excludeViewPure (the config test requires every option be listed; it was failing with 'unset options: fromList ["excludeViewPure"]') - Tests/Integration: pin basic/excludeviewpure.sol to solc >= 0.8.0 (pragma ^0.8.0), so it is skipped on the <0.8 solc CI matrix instead of failing to compile. Co-Authored-By: Claude Opus 4.8 (1M context) <[email protected]> * test: prove view/pure functions are excluded, using notPresent Addresses review feedback: excludeviewpure.sol gains a view function with a planted assert(false), and a new assertion-mode run checks that no assertion test is created for any view/pure function (via the previously unused notPresent helper), so the planted assert can never fire. A control run without excludeViewPure proves the assert IS found otherwise and pins the test names the notPresent checks look up. Co-Authored-By: Claude Fable 5 <[email protected]> --------- Co-authored-by: Claude Opus 4.8 (1M context) <[email protected]>
4 lines
46 B
YAML
4 lines
46 B
YAML
testMode: assertion
|
|
seed: 123
|
|
testLimit: 5000
|