TeamCity.dotCover/pack/TeamCity.dotCover.props (9 lines of code) (raw):
<?xml version="1.0" encoding="utf-8"?>
<Project ToolsVersion="15.0" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
<PropertyGroup Condition=" '$(IsUnderTeamCity)' == '' ">
<IsUnderTeamCity Condition=" '$(TEAMCITY_PROJECT_NAME)' != '' or '$(TEAMCITY_VERSION)' != '' ">true</IsUnderTeamCity>
</PropertyGroup>
<PropertyGroup Condition=" '$(IsUnderTeamCity)' == 'true' AND '$(OS)' == 'Windows_NT' AND '$(MSBuildRuntimeType)' == 'Core' ">
<VSTestConsolePath Condition=" '$(VSTestConsolePath)' == '' ">$(MSBuildThisFileDirectory)\TeamCity.dotCover.dll</VSTestConsolePath>
</PropertyGroup>
</Project>