<?xml version="1.0" encoding="utf-8"?>
<Project Sdk="Microsoft.NET.Sdk">

    <PropertyGroup>
        <TargetFramework>net6.0</TargetFramework>
        <OutputType>Exe</OutputType>
    </PropertyGroup>

    <ItemGroup>
        <ProjectReference Include="..\Inputs\producer\TimesTwo.csproj" />
        <Reference Include="DafnyRuntime">
            <HintPath>..\..\..\..\..\..\DafnyRuntime.dll</HintPath>
        </Reference>
    </ItemGroup>

</Project>