gustavo-grieco 28c12a6b08 Merge remote-tracking branch 'origin/master' into dev-agents ...

# Conflicts:
#	lib/Echidna.hs
#	lib/Echidna/Campaign.hs
#	lib/Echidna/Solidity.hs
#	lib/Echidna/UI.hs
#	stack.yaml

2026-08-05 15:20:37 +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

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

Allow to disable testing of view/pure function, except prefix ones in property mode (#1552)

2026-07-20 21:12:53 +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

add sample command

2026-05-14 17:48:18 +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