dotnet / dotnet/fsharp

Remove peverify tests in favor of ILVerify

Open
#9,921 2 comments 1 reaction 0 assignees View on GitHub
Area-Testing Feature Request
Dominant language
F#
Stars
4.3k
Forks
876
Avg merge
4d 11h
Merged PRs (30d)
131

Description

It appears that ILVerify is ready to be applied against compiler output, see my discussion with @jkotas here: https://github.com/dotnet/runtime/issues/40586.

ILVerify replaces peverify, the latter can only be used in framework assemblies and not on Core. Also, a bunch of limitations have been lifted, and it supports recent additions to the CLR. There are still a bunch of outstanding improvements, but if I understand it correctly, it can be used to verify assembly output.

It may actually be easier to integrate, perhaps it should become part of this issue: https://github.com/dotnet/fsharp/issues/9828, @vzarytovskii, what do you think?

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.