Skip to content

Added initial support for generation of foundry reproducers#1437

Merged
gustavo-grieco merged 10 commits intocrytic:masterfrom
gustavo-grieco:dev-foundry-reproducer
Sep 24, 2025
Merged

Added initial support for generation of foundry reproducers#1437
gustavo-grieco merged 10 commits intocrytic:masterfrom
gustavo-grieco:dev-foundry-reproducer

Conversation

@gustavo-grieco
Copy link
Copy Markdown
Collaborator

This PR add a basic support for the generation of Foundry reproducers, with the code inspired by Runes.

@elopez
Copy link
Copy Markdown
Member

elopez commented Sep 15, 2025

This could be a good use case for mustache templates as well if we're adding the dependency for #1415

@elopez elopez added this to the Echidna 2.3.0 milestone Sep 15, 2025
@gustavo-grieco
Copy link
Copy Markdown
Collaborator Author

@elopez changed the code to use mustache templates, similar to the report generation. Please review.

@gustavo-grieco gustavo-grieco merged commit d928a90 into crytic:master Sep 24, 2025
15 checks passed
datradito pushed a commit to datradito/echidna-mcp that referenced this pull request Dec 29, 2025
)

* added initial support for generation of foundry reproducers

* improved reproducer names

* fixes

* use mustache templates

* automatic warp/roll

* correctly label senders

* use mapMaybe

* Update lib/Echidna/Output/Foundry.hs

Co-authored-by: Emilio López <[email protected]>

* remove comment

---------

Co-authored-by: Emilio López <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants