Search results

Using exploration mode will ignore functions named as properties (e.g. echidna_*)

bug

Status: Open.

#1347 In crytic/echidna;

· ggrieco-tob opened on Feb 7, 2025

[Bug-Candidate]: Using deployBytecodes to deploy ERC6551 Registry contract gives out-of-gas error

Status: Open.

#1338 In crytic/echidna;

· gr8h opened on Jan 7, 2025

Reduce HTML coverage size by compressing class names

enhancement

Status: Open.

#1337 In crytic/echidna;

· GalloDaSballo opened on Dec 28, 2024

[Bug-Candidate]: OpenZeppelin's UUPSUpgradeable seems to mess up coverage

Status: Open.

#1324 In crytic/echidna;

· rappie opened on Nov 4, 2024

[Bug]: Prelude.init: empty list while shrinking

bug

shrinking

Status: Open.

#1321 In crytic/echidna;

· rappie opened on Oct 17, 2024

[Bug-Candidate]: Echidna unable to break property using fallback

Status: Open.

#1299 In crytic/echidna;

· YamenMerhi opened on Aug 19, 2024

Fine-tune shrinking behavior

enhancement

Status: Open.

#1276 In crytic/echidna;

· aviggiano opened on Jun 18, 2024

Log shrinking status when running in detached mode

enhancement

Status: Open.

#1270 In crytic/echidna;

· aviggiano opened on Jun 11, 2024

add call sequence mutation that removes all reverting txs in the sequences

enhancement

help wanted

Status: Open.

#1264 In crytic/echidna;

· 0xalpharush opened on May 25, 2024

[Bug-Candidate]: Contract is "unknown contract" but should be able to be identified

Status: Open.

#1259 In crytic/echidna;

· 0xalpharush opened on May 17, 2024

Allow Configurable Verbosity

enhancement

Status: Open.

#1254 In crytic/echidna;

· DanielGelfand opened on May 10, 2024

warn when seqLen > 1 and there haven't been any SLOAD/SSTORE in target

enhancement

Status: Open.

#1253 In crytic/echidna;

· 0xalpharush opened on May 10, 2024