Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: add CI setup scripts for medusa #98

Open
0xPhaze opened this issue Feb 13, 2023 · 4 comments
Open

feat: add CI setup scripts for medusa #98

0xPhaze opened this issue Feb 13, 2023 · 4 comments
Assignees

Comments

@0xPhaze
Copy link

0xPhaze commented Feb 13, 2023

It would be great to have a working CI setup script for medusa to run benchmarks against for solfuzzmark.

@anishnaik
Copy link
Collaborator

@0xPhaze + @damilolaedwards what is the status of this? Can I get some more context on what needs to be done to close out this issue?

@0xPhaze
Copy link
Author

0xPhaze commented Feb 1, 2024

Ideally similar functionality to what foundry provides: https://book.getfoundry.sh/config/continuous-integration

  • Install Medusa
  • Run medusa with specific cli arguments

I know for Echidna we had one job to do both (not allowing the same flexibility with cli arguments), but that was very hard to deal with if I wanted to have multiple runs and then to evaluate the data. Ideally these steps would be separated as seen with foundry.

@0xalpharush
Copy link
Contributor

@elopez Would you be able to help with this?

@ggrieco-tob
Copy link
Member

There is an initial set of CI tests using medusa already in building secure contracts

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

No branches or pull requests

5 participants