<Project Sdk="Microsoft.NET.Sdk">

  <PropertyGroup>
    <OutputType>Exe</OutputType>
    <TargetFramework>net6.0</TargetFramework>
    <ImplicitUsings>enable</ImplicitUsings>
    <NoWarn>CS3021; CS0162</NoWarn>
    <!-- <Nullable>enable</Nullable> -->
  </PropertyGroup>

  <!-- Not using dafny.msbuild since it relies on Dafny begin called `dafny` on
       Linux, whereas we build a binary called `Dafny` there (so, it doesn't
       work with local builds). -->
  <!-- <ItemGroup> -->
  <!--   <PackageReference Include="dafny.msbuild" Version="1.0.0" /> -->
  <!-- </ItemGroup> -->

  <ItemGroup>
    <ProjectReference Include="..\Library\Library.csproj" />
  </ItemGroup>

</Project>
