-
Notifications
You must be signed in to change notification settings - Fork 32
/
VSharp.Fuzzer.fsproj
47 lines (41 loc) · 1.88 KB
/
VSharp.Fuzzer.fsproj
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
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<OutputType>Exe</OutputType>
<TargetFramework>net7.0</TargetFramework>
<Configurations>Debug;Release;DebugTailRec</Configurations>
<Platforms>AnyCPU</Platforms>
<DefineConstants>$(DefineConstants);TRACEX</DefineConstants>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)' == 'DebugTailRec' ">
<Tailcalls>true</Tailcalls>
<DebugSymbols>true</DebugSymbols>
<DefineConstants>TRACE;DEBUG</DefineConstants>
</PropertyGroup>
<ItemGroup>
<ProjectReference Include="..\VSharp.CoverageTool\VSharp.CoverageTool.fsproj" />
<ProjectReference Include="..\VSharp.IL\VSharp.IL.fsproj" />
<ProjectReference Include="..\VSharp.SILI.Core\VSharp.SILI.Core.fsproj" />
<ProjectReference Include="..\VSharp.TestGenerator\VSharp.TestGenerator.fsproj" />
<ProjectReference Include="..\VSharp.Utils\VSharp.Utils.fsproj" />
</ItemGroup>
<ItemGroup>
<Compile Include="Utils.fs" />
<Compile Include="Logger.fs" />
<Compile Include="Startup.fs" />
<Compile Include="TypeSolver.fs" />
<Compile Include="Generator.fs" />
<Compile Include="TestGeneration.fs" />
<Compile Include="Communication.fs" />
<Compile Include="Fuzzer.fs" />
<Compile Include="Application.fs" />
<Compile Include="Interaction.fs" />
<Compile Include="Program.fs" />
</ItemGroup>
<ItemGroup>
<PackageReference Include="Grpc.Net.Client" Version="2.57.0" />
<PackageReference Include="MessagePack.FSharpExtensions" Version="4.0.0" />
<PackageReference Include="protobuf-net.Grpc" Version="1.1.1" />
<PackageReference Include="protobuf-net.Grpc.AspNetCore" Version="1.1.1" />
<PackageReference Update="FSharp.Core" Version="7.0.*" />
</ItemGroup>
</Project>