maintain-formal-verification-skill
Bring a project's formal verification back in line with the code after the code changes. Finds the commits that touched verified code, updates the model, harness or properties to describe the code as it is now, reruns, and says whether each failure is drift in the verification or a bug in the code. Use for /maintain-formal-verification-skill, "is the model still true to the code", or after merges and refactors that touched verified code without rechecking it.
- Version
- 0.1.0
- License
- MIT
Pinned to revision a713fa19e489, so it is the text this page describes rather than whatever the author pushed since.
Files
Every link opens the file at its source, pinned to the revision this page describes.