Integrate SMTChecker tests into Tasty
Open
- Dominant language
- Haskell
- Stars
- 358
- Forks
- 79
- Avg merge
- 1d 1h
- Merged PRs (30d)
- 6
Description
There are a set of tests that compare the SMTChecker to hevm symbolic under `nix/hevm-tests/smt-checker.nix`. The test harness should be adapted so it can be run directly from tasty, instead of via the nix harness that currently exists.
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by reading nix/hevm-tests/smt-checker.nix to understand the existing SMTChecker versus hevm symbolic comparisons, then locate the Tasty test entry point. Adapt the harness so these tests can run directly from Tasty, and verify that the comparisons execute successfully without the Nix harness.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- haskell
- Domain
- testing-qa
- Issue type
- Refactor
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100