Skip to content

Tell coverlet to respect the [DoesNotReturn] attribute for coverage purposes - #84396

Merged
stephentoub merged 2 commits into
dotnet:mainfrom
stephentoub:coverletdoesnotreturn
Apr 12, 2023
Merged

Tell coverlet to respect the [DoesNotReturn] attribute for coverage purposes#84396
stephentoub merged 2 commits into
dotnet:mainfrom
stephentoub:coverletdoesnotreturn

Conversation

@stephentoub

Copy link
Copy Markdown
Member

No description provided.

@ghostghost assigned stephentoubApr 6, 2023
@ghostghost added the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Apr 6, 2023
@MarcoRossignoli

MarcoRossignoli commented Apr 6, 2023

Copy link
Copy Markdown
Member

We don't have a lot of tests on this feature and it's opt-in as explained off line, it was kindly offered by @kevin-montrosecoverlet-coverage/coverlet#904

We could improve in case some use cases are missing cc: @daveMueller@petli@tonerdo

@ghost

ghost commented Apr 7, 2023

Copy link
Copy Markdown

Tagging subscribers to this area: @dotnet/area-infrastructure-libraries
See info in area-owners.md if you want to be subscribed.

Issue Details

null

Author:stephentoub
Assignees:stephentoub
Labels:

area-Infrastructure-libraries, needs-area-label

Milestone:-

@danmoseleydanmoseley removed the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Apr 7, 2023
@stephentoub
stephentoub requested a review from ericstjApril 7, 2023 16:13
@stephentoub
stephentoub merged commit 314362e into dotnet:mainApr 12, 2023
@stephentoub
stephentoub deleted the coverletdoesnotreturn branch April 12, 2023 13:01
@ghostghost locked as resolved and limited conversation to collaborators May 12, 2023
Sign up for freeto subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants

@stephentoub@MarcoRossignoli@ViktorHofer@danmoseley