/
AutoExtern.Test.csproj
58 lines (50 loc) · 1.99 KB
/
AutoExtern.Test.csproj
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<OutputType>Exe</OutputType>
<TargetFramework>net6.0</TargetFramework>
<ImplicitUsings>enable</ImplicitUsings>
<Nullable>enable</Nullable>
<IsPackable>false</IsPackable>
<GenerateAssemblyInfo>false</GenerateAssemblyInfo>
<GenerateTargetFrameworkAttribute>false</GenerateTargetFrameworkAttribute>
</PropertyGroup>
<ItemGroup>
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="16.11.0" />
<PackageReference Include="xunit" Version="2.4.2" />
<PackageReference Include="xunit.runner.visualstudio" Version="2.4.3">
<IncludeAssets>runtime; build; native; contentfiles; analyzers; buildtransitive</IncludeAssets>
<PrivateAssets>all</PrivateAssets>
</PackageReference>
<PackageReference Include="coverlet.collector" Version="3.2.0">
<IncludeAssets>runtime; build; native; contentfiles; analyzers; buildtransitive</IncludeAssets>
<PrivateAssets>all</PrivateAssets>
</PackageReference>
</ItemGroup>
<ItemGroup>
<ProjectReference Include="..\AutoExtern\AutoExtern.csproj" />
<!-- The Dafny project is not referenced directly by the code, but is needed by
`dotnet run Dafny.dll` in the tests -->
<ProjectReference Include="..\Dafny\Dafny.csproj" />
<ProjectReference Include="..\XUnitExtensions\XUnitExtensions.csproj" />
</ItemGroup>
<ItemGroup>
<Compile Remove="Tutorial\**" />
<Compile Remove="Minimal\**" />
</ItemGroup>
<ItemGroup>
<EmbeddedResource Remove="Tutorial\**" />
<EmbeddedResource Remove="Minimal\**" />
</ItemGroup>
<ItemGroup>
<None Remove="Tutorial\**" />
<None Remove="Minimal\**" />
</ItemGroup>
<ItemGroup>
<Content Include="Minimal\**" LinkBase="Minimal\">
<CopyToOutputDirectory>PreserveNewest</CopyToOutputDirectory>
</Content>
<Content Include="Tutorial\**" LinkBase="Tutorial\">
<CopyToOutputDirectory>PreserveNewest</CopyToOutputDirectory>
</Content>
</ItemGroup>
</Project>