ilverify-failure

Update ILVerify baselines under tests/ILVerify/*.bsl after IL shape changes.

1.2k|334|Updated Oct 13, 2022
One-click install
npx skills add https://github.com/dotnet/dotnet --skill ilverify-failure
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: ilverify-failure
Source: https://github.com/dotnet/dotnet/tree/main/src/fsharp/.github/skills/ilverify-failure
Command: npx skills add https://github.com/dotnet/dotnet --skill ilverify-failure

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Fix ILVerify baseline failures when IL shape changes (codegen, new types, method signatures) and CI jobs fail.

Core Features & Use Cases

  • Update ILVerify baselines when IL shapes change
  • Locate baselines under tests/ILVerify/*.bsl
  • Verify baselines by re-running ILVerify without updating baselines

Quick Start

Update baselines by running TEST_UPDATE_BSL=1 pwsh tests/ILVerify/ilverify.ps1.

Frequently Asked Questions about ilverify-failure

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I fix ILVerify baseline failures when IL shape changes break my .NET CI pipeline?

Fix ILVerify baseline failures by updating baselines stored under tests/ILVerify/*.bsl to reflect new IL shapes, codegen changes, or method signatures, keeping your CI pipeline green.

What causes ILVerify mismatches during dotnet codegen updates?

ILVerify mismatches occur when codegen changes, new types, or signature modifications alter the IL shape, causing existing baselines to disagree with the newly generated IL output.

How do I update ILVerify baselines to match new IL signatures?

Update ILVerify baselines by running TEST_UPDATE_BSL=1 pwsh tests/ILVerify/ilverify.ps1, which regenerates the .bsl files to match the current IL shape changes.

Can I verify ILVerify baselines without permanently updating them?

Verify baselines without updating them by re-running ILVerify normally, allowing you to check if current IL shape changes still mismatch the stored baseline files before committing updates.

Where are ILVerify baselines stored for deterministic revalidation in .NET CI?

ILVerify baselines are stored under tests/ILVerify/*.bsl, enabling deterministic revalidation of IL shape changes and codegen modifications within .NET CI pipelines.