Skip to content

Add ILVerification to test framework#18255

Merged
0101 merged 5 commits into
dotnet:mainfrom
KevinRansom:verifyil
Jan 29, 2025
Merged

Add ILVerification to test framework#18255
0101 merged 5 commits into
dotnet:mainfrom
KevinRansom:verifyil

Conversation

@KevinRansom
Copy link
Copy Markdown
Contributor

@KevinRansom KevinRansom commented Jan 21, 2025

Use code similar to this to verify a test cases generated pe file:

    |> verifyPEFileWithSystemDlls
    |> withOutputContainsAllInOrderWithWildcards [
        "All Classes and Methods in*SanityCheck02.exe Verified."
        ]

@KevinRansom KevinRansom requested a review from a team as a code owner January 21, 2025 06:56
@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented Jan 21, 2025

✅ No release notes required

T-Gro
T-Gro reviewed Jan 21, 2025
View reviewed changes
Comment thread tests/FSharp.Test.Utilities/ILVerifierModule.fs Outdated
@KevinRansom
Copy link
Copy Markdown
Contributor Author

KevinRansom commented Jan 24, 2025

@T-Gro , @vzarytovskii --- ready to review Maties.

T-Gro
T-Gro reviewed Jan 24, 2025
View reviewed changes
Comment thread tests/ILVerify/ilverify_FSharp.Compiler.Service_Debug_netstandard2.0.bsl
T-Gro
T-Gro reviewed Jan 24, 2025
View reviewed changes
Comment thread tests/FSharp.Test.Utilities/ILVerifierModule.fs
T-Gro
T-Gro reviewed Jan 24, 2025
View reviewed changes
Comment thread tests/FSharp.Test.Utilities/ILVerifierModule.fs
@0101 0101 merged commit a9f59cd into dotnet:main Jan 29, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@T-Gro T-Gro T-Gro approved these changes

+1 more reviewer

@0101 0101 0101 approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

None yet

Projects

F# Compiler and Tooling
Archived in project

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@KevinRansom @0101 @T-Gro