GameCult/CultLib
Watch
9
0
Fork
You've already forked CultLib
 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

SiteCellsTests: the 2^24 span refusal is tested on a real overlong span, so a doubled limit fails it

Browse source 
The earlier version read past a one-element array and passed under the mutant by hitting a non-finite site.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
Meta Vens 2026-10-16 19:36:01 +02:00
commit fcd580a8ed
1 changed files with 13 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

17
packages/cultmath/tests/CultMath.Tests/SiteCellsTests.cs
View file

@ -461,10 +461,19 @@ public sealed class SiteCellsTests
Assert.Equal("p", Assert.Throws<ArgumentException>(() => power_border(query, new[] { good })).ParamName);
}
// Indices are floats, exact only to 2^24: a longer span is refused before any site is read.
var one = new[] { good };
Assert.Equal("sites", Assert.Throws<ArgumentException>(() => power_cells(origin, System.Runtime.InteropServices.MemoryMarshal.CreateReadOnlySpan(ref one[0], (1 << 24) + 1))).ParamName);
Assert.Equal("sites", Assert.Throws<ArgumentException>(() => multiplicative_cells(origin, System.Runtime.InteropServices.MemoryMarshal.CreateReadOnlySpan(ref one[0], (1 << 24) + 1))).ParamName);
// Indices are floats, exact only to 2^24: a span of 2^24 + 1 real sites is refused for its length.
var overlong = new float4[(1 << 24) + 1];
foreach (var call in new Func<ArgumentException>[]
{
() => Assert.Throws<ArgumentException>(() => power_cells(origin, overlong)),
() => Assert.Throws<ArgumentException>(() => multiplicative_cells(origin, overlong)),
() => Assert.Throws<ArgumentException>(() => power_border(origin, overlong)),
})
{
var e = call();
Assert.Equal("sites", e.ParamName);
Assert.Contains("2^24", e.Message);
}
}
[Fact]