moq-analyzers-proof-toolkit

To validate Moq analyzer changes, use empirical recipes to verify API existence, symbol registration, diagnostic spans, and Roslyn API behaviors. The toolkit employs dotnet inspect, reflection, and custom scripts to ensure accurate diagnostics and regression-free fixes.

Empirical validation for Roslyn analyzers uses real-world repository examples to verify API behavior, symbol registration, and diagnostic spans. This approach ensures performance claims and host compatibility are accurate for Moq and Roslyn version 4.8.0.

Yes, the toolkit focuses on Moq and Roslyn APIs version 4.8.0. You also need the dotnet CLI, the dotnet inspect tool, and other specified dependencies to run the verification scripts and recipes successfully.

You test Moq analyzer performance and host compatibility by applying the toolkit's empirical recipes, which use dotnet inspect and reflection to verify performance claims and ensure the analyzers function correctly across different host environments.

Yes, the toolkit uses dotnet inspect alongside reflection and custom scripts to verify that fixes for Moq analyzers are regression-free. It validates changes against historical repository examples and specific API versions to ensure stability.