1
1
<Project Sdk =" Microsoft.NET.Sdk" >
2
2
<PropertyGroup >
3
3
<TargetFramework >netcoreapp3.1</TargetFramework >
4
- <CoyoteVersion >1.7.9</CoyoteVersion >
5
- <PowershellExecutable Condition =" '$(OS)'=='Windows_NT'" >powershell</PowershellExecutable >
6
- <PowershellExecutable Condition =" '$(PowershellExecutable)'==''" >pwsh</PowershellExecutable >
7
- <PathSeparator Condition =" '$(OS)'=='Windows_NT'" >\</PathSeparator >
8
- <PathSeparator Condition =" '$(OS)'!='Windows_NT'" >/</PathSeparator >
4
+ <CoyoteVersion >1.7.9</CoyoteVersion >
5
+ <PowershellExecutable Condition =" '$(OS)'=='Windows_NT'" >powershell</PowershellExecutable >
6
+ <PowershellExecutable Condition =" '$(PowershellExecutable)'==''" >pwsh</PowershellExecutable >
7
+ <PathSeparator Condition =" '$(OS)'=='Windows_NT'" >\</PathSeparator >
8
+ <PathSeparator Condition =" '$(OS)'!='Windows_NT'" >/</PathSeparator >
9
9
</PropertyGroup >
10
-
11
- <PropertyGroup >
12
- <ExecCommand >$(PowershellExecutable) -executionpolicy bypass -command ".$(PathSeparator)rewriteUnitTests.ps1 -Configuration $(Configuration) -CoyoteVersion $(CoyoteVersion) -TargetFramework $(TargetFramework)"</ExecCommand >
13
- </PropertyGroup >
14
-
15
- <ItemGroup >
16
- <PackageReference Include =" Microsoft.Coyote" Version =" $(CoyoteVersion)" />
17
- <PackageReference Include =" Microsoft.Coyote.Test" Version =" $(CoyoteVersion)" />
18
- <PackageReference Include =" Microsoft.Coyote.Tool" Version =" $(CoyoteVersion)" />
19
- <PackageReference Include =" Microsoft.NET.Test.Sdk" Version =" 17.6.3" />
20
- <PackageReference Include =" MSTest.TestAdapter" Version =" 3.0.4" />
21
- <PackageReference Include =" MSTest.TestFramework" Version =" 3.0.4" />
22
- </ItemGroup >
23
-
24
- <ItemGroup >
25
- <None Update =" rewrite.coyote.Windows.Debug.json" >
26
- <CopyToOutputDirectory >Never</CopyToOutputDirectory >
27
- </None >
28
- <None Update =" rewrite.coyote.Windows.Release.json" >
29
- <CopyToOutputDirectory >Never</CopyToOutputDirectory >
30
- </None >
31
- <None Update =" rewriteUnitTests.ps1" >
32
- <CopyToOutputDirectory >Never</CopyToOutputDirectory >
33
- </None >
34
- </ItemGroup >
35
-
36
- <Target Name =" CoyoteRewriting" AfterTargets =" AfterBuild" Condition =" '$(TargetFramework)'=='netcoreapp3.1' And '$(OS)'=='Windows_NT' " >
37
- <Exec Command =" $(ExecCommand)" />
38
- </Target >
39
-
40
- </Project >
10
+ <PropertyGroup >
11
+ <ExecCommand >$(PowershellExecutable) -executionpolicy bypass -command ".$(PathSeparator)rewriteUnitTests.ps1 -Configuration $(Configuration) -CoyoteVersion $(CoyoteVersion) -TargetFramework $(TargetFramework)"</ExecCommand >
12
+ </PropertyGroup >
13
+ <ItemGroup >
14
+ <PackageReference Include =" Microsoft.Coyote" />
15
+ <PackageReference Include =" Microsoft.Coyote.Test" />
16
+ <PackageReference Include =" Microsoft.Coyote.Tool" />
17
+ <PackageReference Include =" Microsoft.NET.Test.Sdk" />
18
+ <PackageReference Include =" MSTest.TestAdapter" />
19
+ <PackageReference Include =" MSTest.TestFramework" />
20
+ </ItemGroup >
21
+ <ItemGroup >
22
+ <None Update =" rewrite.coyote.Windows.Debug.json" >
23
+ <CopyToOutputDirectory >Never</CopyToOutputDirectory >
24
+ </None >
25
+ <None Update =" rewrite.coyote.Windows.Release.json" >
26
+ <CopyToOutputDirectory >Never</CopyToOutputDirectory >
27
+ </None >
28
+ <None Update =" rewriteUnitTests.ps1" >
29
+ <CopyToOutputDirectory >Never</CopyToOutputDirectory >
30
+ </None >
31
+ </ItemGroup >
32
+ <Target Name =" CoyoteRewriting" AfterTargets =" AfterBuild" Condition =" '$(TargetFramework)'=='netcoreapp3.1' And '$(OS)'=='Windows_NT' " >
33
+ <Exec Command =" $(ExecCommand)" />
34
+ </Target >
35
+ </Project >
0 commit comments