crytic/echidna
1
0
Fork 0
mirror of https://github.com/crytic/echidna.git synced 2026-10-12 10:59:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
dev-sym-prop
echidna/tests/solidity/basic
T
History
gustavo-grieco fe7417a41d sample properties in exploration mode
2026-10-06 12:34:28 +02:00
..
allContracts.sol
Rename multi-abi to allContracts (#934)
2023-02-22 08:57:43 +01:00
allContracts.yaml
Rename multi-abi to allContracts (#934)
2023-02-22 08:57:43 +01:00
array-mutation.sol
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
assert.sol
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
assert.yaml
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
autolink.sol
Library auto-linking support through crytic-compile (#1389)
2026-08-24 23:11:26 +02:00
autolink.yaml
Library auto-linking support through crytic-compile (#1389)
2026-08-24 23:11:26 +02:00
balance.sol
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
balance.yaml
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
benchmark.yaml
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
blacklist.yaml
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
codesize.sol
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
config.yaml
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
construct.sol
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
contractAddr.sol
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
contractAddr.yaml
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
corpus-fallback-test.yaml
Add independent coverage directory configuration option (#1428)
2025-08-28 20:11:43 +02:00
coverage-test.yaml
Add independent coverage directory configuration option (#1428)
2025-08-28 20:11:43 +02:00
darray-mutation.sol
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
default.yaml
sample properties in exploration mode
2026-10-06 12:34:28 +02:00
delay.sol
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
deploy.sol
Support for deployment of certain contracts in specific addresses (#758)
2022-05-19 15:03:14 +02:00
deployBytecode.yaml
Support for deployment of certain contracts in specific addresses (#758)
2022-05-19 15:03:14 +02:00
deployContract.yaml
Support for deployment of certain contracts in specific addresses (#758)
2022-05-19 15:03:14 +02:00
eip-170.sol
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
eip-170.yaml
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
excludeviewpure-assert-control.yaml
Allow to disable testing of view/pure function, except prefix ones in property mode (#1552)
2026-07-20 21:12:53 +02:00
excludeviewpure-assert.yaml
Allow to disable testing of view/pure function, except prefix ones in property mode (#1552)
2026-07-20 21:12:53 +02:00
excludeviewpure.sol
Allow to disable testing of view/pure function, except prefix ones in property mode (#1552)
2026-07-20 21:12:53 +02:00
excludeviewpure.yaml
Allow to disable testing of view/pure function, except prefix ones in property mode (#1552)
2026-07-20 21:12:53 +02:00
fallback.sol
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
flags.json
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
flags.sol
Small standalone fixes: coverage attribution, generic log events (#1599)
2026-08-14 19:54:20 +02:00
gasleft.sol
tests: add test for intrinsic gas accounting
2025-07-13 19:05:27 -03:00
gasleft.yaml
tests: add test for intrinsic gas accounting
2025-07-13 19:05:27 -03:00
gaslimit.sol
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
gasprice.sol
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
gasprice.yaml
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
immutable-2.sol
Index CoverageMap and SignatureMap by codehash (for performance) (#1160)
2024-01-11 20:32:33 +01:00
immutable-3.sol
Index CoverageMap and SignatureMap by codehash (for performance) (#1160)
2024-01-11 20:32:33 +01:00
immutable.sol
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
library.sol
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
library.yaml
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
log.sol
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
memory-reset.sol
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
multisender.sol
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
multisender.yaml
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
no-delay.sol
Allow configuring zero delay (#1541)
2026-03-23 17:10:23 -03:00
no-delay.yaml
Allow configuring zero delay (#1541)
2026-03-23 17:10:23 -03:00
payable.yaml
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
propGasLimit.sol
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
propGasLimit.yaml
tests: correct propGasLimit
2025-07-13 19:05:27 -03:00
push_long.sol
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
push_long.yaml
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
revert.sol
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
true.sol
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
whitelist_all.yaml
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00
whitelist.yaml
Echidna 2.0 (#716)
2022-02-11 17:47:44 +01:00