ilverify-failure
Fix ILVerify baseline failures when IL shape changes (codegen, new types, method signatures). Use when CI fails on ILVerify job.
来源信息
- 仓库
- dotnet/fsharp
- 最近来源活动
- 2026年6月23日 15:12
- 检测到的 SKILL.md 语言
- 英语
- 星标
- 4,346
- Forks
- 884
安装方式
默认使用会先检查来源的 Prompt；你也可以切换为直接命令，或下载本地副本。
检查来源文件
决定是否安装前，请先阅读 SKILL.md，以及 SkillsMP 当前展示的配套文件。
正在显示 SKILL.md
SKILL.md
来源说明 · 只读预览- name
- ilverify-failure
- description
- Fix ILVerify baseline failures when IL shape changes (codegen, new types, method signatures). Use when CI fails on ILVerify job.
# ILVerify Baseline
## When to Use
IL shape changed (codegen, new types, method signatures) and ILVerify CI job fails.
## Offset-Only Differences
Changes that only shift IL byte offsets (`[offset 0x...]`) — for example adding code above an existing error site — are detected automatically and **do not fail CI**. A warning is printed suggesting a baseline update. No action is required, but refreshing baselines keeps them accurate.
## Update Baselines
```bash
TEST_UPDATE_BSL=1 pwsh tests/ILVerify/ilverify.ps1
```
Or use the `/run ilverify` PR comment command to update baselines via CI.
## Baselines Location
`tests/ILVerify/*.bsl`
## Verify
Re-run without `TEST_UPDATE_BSL=1`, should pass.
在 GitHub 查看