Skip to content

fix issue 1354#1357

Merged
elopez merged 2 commits intocrytic:masterfrom
figtracer:fix-issue-1354
Apr 21, 2025
Merged

fix issue 1354#1357
elopez merged 2 commits intocrytic:masterfrom
figtracer:fix-issue-1354

Conversation

@figtracer
Copy link
Copy Markdown
Contributor

No description provided.

@CLAassistant
Copy link
Copy Markdown

CLAassistant commented Mar 28, 2025

CLA assistant check
All committers have signed the CLA.

@elopez
Copy link
Copy Markdown
Member

elopez commented Mar 28, 2025

Hi! Thanks for working on this! I see you moved the tstore.sol, but right now it is unused. Could you integrate it into the test runner so it is run as well? https://github.com/crytic/echidna/blob/master/src/test/Tests/Integration.hs

@figtracer
Copy link
Copy Markdown
Contributor Author

Thanks for the feedback! It should be integrated now.

@elopez elopez linked an issue Apr 8, 2025 that may be closed by this pull request
2 tasks
@elopez elopez merged commit 6d134ed into crytic:master Apr 21, 2025
18 checks passed
datradito pushed a commit to datradito/echidna-mcp that referenced this pull request Dec 29, 2025
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.

Clean up repository

3 participants