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

cultmath tests: a reference value moved by one ulp fails its sampled-form family through the recorded bits

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

13
packages/cultmath/tests/CultMath.Tests/GlslMirrorTests.Device.cs
View file

@ -685,4 +685,17 @@ public sealed partial class GlslMirrorTests
var failures = Judge(device, device).Failures;
Assert.Equal(holds ? 0 : DeviceRoutes.Length, failures.Count);
}
[Fact]
public void AChangeInTheReferenceBitsOfASampledFormFailsItsFamily()
{
// One ulp in one reference value stays inside the form's enclosure, so only the recorded bits can see it.
var sampled = Array.FindIndex(Families, IsSampledForm);
using var faithful = Simulate();
Record(faithful);
using var moved = Simulate((_, item, words) => item.Index == "ref:" + sampled ? Alter(item, words, w => w + 1u, 1) : words);
var failures = Judge(moved, faithful).Failures;
Assert.Equal(DeviceRoutes.Length, failures.Count);
Assert.All(failures, line => { Assert.Contains($"#{sampled} ", line); Assert.Contains("result bits differ", line); });
}
}