Issues

• Runs are not reproducible under --timeout even with a fixed --seed and --workers 1 (use --test-limit)

  crytic/echidna#1630 · Filter by author monperrus opened on Sep 11, 2026
  7

• Snapshot fuzzing

  2027roadmap
  crytic/echidna#1627 · Filter by author gustavo-grieco opened on Sep 9, 2026

• Initial agentic architecture

  2026roadmap
  crytic/echidna#1626 · Filter by author gustavo-grieco opened on Sep 9, 2026

• Refined formal verification support

  2026roadmap
  crytic/echidna#1625 · Filter by author gustavo-grieco opened on Sep 9, 2026

• Hegotá support

  2027roadmap
  crytic/echidna#1624 · Filter by author gustavo-grieco opened on Sep 9, 2026

• Glamsterdam support

  2026roadmap
  crytic/echidna#1623 · Filter by author gustavo-grieco opened on Sep 9, 2026

• Roadmap discussion for 2026 and 2027

  roadmap
  crytic/echidna#1612 · Filter by author gustavo-grieco opened on Sep 1, 2026
  1

• Worker call and gas counters reset to zero when a fuzz worker hits --timeout

  bug
  crytic/echidna#1601 · Filter by author elopez opened on Aug 13, 2026

• Corpus format without Haskell ByteString Show representation

  enhancement
  crytic/echidna#1594 · Filter by author rappie opened on Aug 3, 2026

• Improve visual sequence output of corpus files in SolCalldata format

  enhancement
  crytic/echidna#1593 · Filter by author rappie opened on Aug 3, 2026

• Regression in 2.3.2: Internal Error: unimplemented precompiled contract 0x10 (EIP-2537 BLS12-381) — works in 2.3.1

  crytic/echidna#1590 · Filter by author aviggiano opened on Jul 24, 2026
  3

• [Bug-Candidate]: Sender with zero balance can call the fuzzing harness with msg.value being non-zero

  crytic/echidna#1556 · Filter by author rappie opened on Apr 7, 2026
  2

• Feature Request: Cache fetched source code during on-chain fuzzing for reuse in subsequent runs

  enhancement
  crytic/echidna#1555 · Filter by author rappie opened on Apr 6, 2026
  1

• Support properties and invariants without arguments in symbolic mode

  enhancement
  Feature

  crytic/echidna#1537 · Filter by author gustavo-grieco opened on Mar 14, 2026
  

• Improve work distribution among workers

  enhancement
  crytic/echidna#1518 · Filter by author elopez opened on Jan 23, 2026
  1

• [Bug-Candidate]: Echidna OOMs in optimization mode + sym-exec

  crytic/echidna#1510 · Filter by author aviggiano opened on Jan 4, 2026
  13

• [Bug-Candidate]: Echidna fails to shrink call (revert) + vm.roll + vm.warp into only vm.roll + vm.warp

  crytic/echidna#1505 · Filter by author aviggiano opened on Dec 21, 2025
  6

• Rewrite campaign handling to allow more flexible worker interactions

  enhancement
  crytic/echidna#1490 · Filter by author gustavo-grieco opened on Dec 2, 2025
  1

  

• race condition for writing to crytic-export/combined_solc.json

  crytic/echidna#1471 · Filter by author monperrus opened on Oct 10, 2025
  4

• bugs in foundry test generation

  crytic/echidna#1465 · Filter by author monperrus opened on Oct 2, 2025
  11

• Update JSON output documentation

  documentationenhancement
  crytic/echidna#1463 · Filter by author elopez opened on Sep 30, 2025
  2

• Hook to run functions after invariant test run

  enhancement
  crytic/echidna#1434 · Filter by author sveitser opened on Aug 28, 2025
  4

• Improve validation of config values

  enhancement
  Feature

  crytic/echidna#1430 · Filter by author elopez opened on Aug 23, 2025
  1

• [Feature Request] Show Live Coverage Report while the fuzzer is running

  enhancement
  crytic/echidna#1413 · Filter by author GalloDaSballo opened on Aug 9, 2025
  3

• [Bug-Candidate]: Poor scaling performance with high worker count - 80 workers 96 core cpu slower than 10 workers on a 12 core mac

  crytic/echidna#1375 · Filter by author vnmrtz opened on Jun 3, 2025
  5