runtimeverification / runtimeverification/evm-semantics
Add foundry-demo tests to CI
Nobody has claimed this yet.
- Dominant language
- KCL
- Stars
- 591
- Forks
- 156
- Avg merge
- 2h 19m
- Merged PRs (30d)
- 1
Description
The tests from https://github.com/runtimeverification/foundry-demo have been severely affected by both functional and performance regressions since b7ef38f6074d81650ca05636e28e238d9c953294. If we are to use them as benchmarks for the Haskell booster development, they should be properly tested on CI.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by reviewing the foundry-demo repository and the project's existing CI configuration to determine how its tests can be integrated. Define completion as the foundry-demo tests running on CI as benchmarks for Haskell booster development, including coverage for functional and performance regressions.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- haskell
- Domain
- ci-cd, testing
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100