SkillFeeder › 全部 Skill › Bug与质量 › maintain-formal-verification-skill

自动修复形式化验证与代码的偏差，定位并修正模型、测试桩或性质描述

maintain-formal-verification-skill

maintain-formal-verification-skill 是 SkillFeeder 收录的Agent Skill，来自 GitHub 仓库 backnotprop/pstack，★ 3,819。自动修复形式化验证与代码的偏差，定位并修正模型、测试桩或性质描述。适合做形式化验证的工程师。场景是Bug与质量 · 测试验证。能做的事包括识别修改过已验证代码的提交、同步更新模型/桩/性质描述、区分验证失败是模型过时还是代码缺陷。打开 GitHub 自行安装。

打开 GitHub

仓库
backnotprop/pstack
仓库星标
★ 3,819
场景
Bug与质量 · 测试验证
适合
做形式化验证的工程师
类型
Skill

能做什么

原文简介

Bring a project's formal verification back in line with the code after the code changes: find the commits that touched verified code, update the model, harness, or properties to describe the code as it is now, rerun, and say 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 a

同场景推荐