Search
Testing & QA · runtimeverification/kontrol
1 skill found.
Skills
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Update expected output golden files for integration test suites. | runtimeverification/ | 125 | — | ~275 | Automated safety check: Pass | BSD-3-Clause | 5 days ago |
