davide
8cdbd70966
9 property tests covering: - CoinAmount: TryParseIn/TryParseCoins never throw on arbitrary strings; FormatIn→TryParseIn roundtrip holds for any sats in [0, MaxSupply]; parsed results always ≥ 0 - EncryptedFile: Encrypt→Decrypt roundtrip for any plaintext/password; wrong password always raises WrongPasswordException (never other exceptions); IsEncrypted never throws - MerkleProof: every leaf in a randomly generated tree verifies against its root (1–16 leaves, covers odd/even/single at every position); foreign txid never verifies and never crashes
29 lines
845 B
XML
29 lines
845 B
XML
<Project Sdk="Microsoft.NET.Sdk">
|
|
|
|
<PropertyGroup>
|
|
<TargetFramework>net10.0</TargetFramework>
|
|
<ImplicitUsings>enable</ImplicitUsings>
|
|
<Nullable>enable</Nullable>
|
|
|
|
<IsPackable>false</IsPackable>
|
|
<IsTestProject>true</IsTestProject>
|
|
</PropertyGroup>
|
|
|
|
<ItemGroup>
|
|
<PackageReference Include="coverlet.collector" Version="6.0.0" />
|
|
<PackageReference Include="CsCheck" Version="4.7.0" />
|
|
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="17.8.0" />
|
|
<PackageReference Include="xunit" Version="2.5.3" />
|
|
<PackageReference Include="xunit.runner.visualstudio" Version="2.5.3" />
|
|
</ItemGroup>
|
|
|
|
<ItemGroup>
|
|
<Using Include="Xunit" />
|
|
</ItemGroup>
|
|
|
|
<ItemGroup>
|
|
<ProjectReference Include="..\..\src\Core\PalladiumWallet.Core.csproj" />
|
|
</ItemGroup>
|
|
|
|
</Project>
|