TestVectors.csproj

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

    <PropertyGroup>
        <RootNamespace>Test Vectors for AWS Cryptographic Materials Provider Library</RootNamespace>
        <ImplicitUsings>enable</ImplicitUsings>
        <Nullable>disable</Nullable>
        <LangVersion>10</LangVersion>
        <TargetFrameworks>net6.0;net48</TargetFrameworks>
        <EnableDefaultCompileItems>false</EnableDefaultCompileItems>
        <OutputType>Exe</OutputType>
    </PropertyGroup>

  <PropertyGroup>
    <!-- This is somewhat brittle,
         but having the value in a properties file
         that can be shared is worth it.
         See: https://learn.microsoft.com/en-us/visualstudio/msbuild/property-functions?view=vs-2022
         for more details on property functions
         
         This takes a properties file (a=b)
         1. Loads the file
         2. Splits on `dafnyVersion=` and takes everything to the right of that
           e.g. the version + any trailing data
         3. Splits on newline and takes the second element.
           This SHOULD be the value of `dafnyVersion` and not contain any trailing data
     -->
    <projectProperties>
      $([System.IO.File]::ReadAllText('$(MSBuildProjectDirectory)/../../../project.properties'))
    </projectProperties>
    <dropBeforeDafnyVersionProperty>
      $([System.Text.RegularExpressions.Regex]::Split("$(projectProperties)", "dafnyVersion=")[1])
    </dropBeforeDafnyVersionProperty>
    <DafnyVersion>
      $([System.Text.RegularExpressions.Regex]::Split("$(dropBeforeDafnyVersionProperty)", "\n")[1])
    </DafnyVersion>
  </PropertyGroup>


    <ItemGroup>
        <PackageReference Include="DafnyRuntime" Version="[4.2.0,$(DafnyVersion)]" />
        <!--
          System.Collections.Immutable can be removed once dafny.msbuild is updated with
          https://github.com/dafny-lang/dafny.msbuild/pull/10 and versioned
        -->
        <PackageReference Include="System.Collections.Immutable" Version="1.7.0" />
        <!-- Work around for dafny-lang/dafny/issues/1951; remove once resolved -->
        <PackageReference Include="System.ValueTuple" Version="4.5.0" />

        <Compile Include="Extern/**/*.cs" />
        <Compile Include="Generated/**/*.cs" />
        <Compile Include="ImplementationFromDafny.cs" />
    </ItemGroup>

    <ItemGroup>
      <ProjectReference Include="../../../AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj" />
      <ProjectReference Include="../../../ComAmazonawsKms/runtimes/net/AWS-KMS.csproj" />
    </ItemGroup>

    <!--
      TODO .NET assemblies are expected to have an ICON.
      This MUST be replaced before launch.
    -->
    <!-- <ItemGroup>
      <None Include="..\icon.png" Pack="true" PackagePath="" />
      <None Include="..\README.md" Pack="true" PackagePath="" />
    </ItemGroup> -->

</Project>