Fix issue #4635: Add alternative executable names for DotCover tool #4646
+1
−1
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Overview
This pull request addresses issue #4635 by adding alternative executable names for the DotCover tool. The change allows the tool to be found even if it's installed with different naming conventions (e.g., lowercase or without the .exe extension).
Checklist
Proof
The changes modify the
GetToolExecutableNamesmethod inDotCoverTool.csto include additional executable names (dotCoveranddotcover) alongside the existingdotCover.exe. This ensures the tool can be located regardless of how it is installed on the system.Closes #4635