runtimeverification / runtimeverification/kontrol
[CSE] Basic CI tests
Open
@Stevengre is already working on this.
Since Nov 19, 2024.
cse
- Dominant language
- Python
- Stars
- 122
- Forks
- 16
- PR merge metrics
- No merged PRs in 30d
Description
- CSE CI tests without minimization and merging node. #885
- CSE CI test for minimization;
- CSE CI test for CSE with minimization;
- CSE CI test for merging node;
- CSE CI test for CSE with merging node.
Contributor guide
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.
Assessment
This issue has not been assessed yet.