ilverify-failure
Fix ILVerify baseline failures when IL shape changes (codegen, new types, method signatures). Use when CI fails on ILVerify job.
Informations de source
- Dépôt
- dotnet/fsharp
- Dernière activité de la source
- 23 juin 2026 à 15:12
- Langue détectée de SKILL.md
- anglais
- Étoiles
- 4 344
- Forks
- 881
Options d'installation
Le prompt qui vérifie d'abord la source est sélectionné par défaut. Vous pouvez passer à une commande directe ou télécharger une copie locale.
Vérifiez les fichiers source
Lisez SKILL.md et les fichiers associés affichés par SkillsMP avant de décider de l'installer.
Affichage de SKILL.md
SKILL.md
Instructions source · Aperçu en lecture seule- 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.
Voir sur GitHub