tlaplus / tlaplus/ValidationTestSuite
Cache results of reference tests
Open
Nobody has claimed this yet.
enhancement
- Dominant language
- Python
- Stars
- 6
- Forks
- 2
- PR merge metrics
- No merged PRs in 30d
Description
To reduce the runtime of the test suite, we could cache the results of the reference tests, such as Apalache and ref TLC. This can be achieved using the GitHub Actions cache feature: https://github.com/actions/cache
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 locating the GitHub Actions workflow that runs the reference tests, including Apalache and ref TLC, and inspect how the Python test suite invokes them. Define cache keys and invalidation from the existing workflow inputs, then verify that repeated runs reuse results without hiding changed test outcomes.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- github-actions, python
- Domain
- ci-cd, testing-qa
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100