From c12eefa0cf0260160341ff616d69ba505e58eade Mon Sep 17 00:00:00 2001 From: Jarl Gullberg Date: Fri, 2 Jun 2017 10:39:13 +0200 Subject: [PATCH] Added extra filtering to generated Quaternions. --- tests/OpenTK.Tests/Generators.fs | 1 + 1 file changed, 1 insertion(+) diff --git a/tests/OpenTK.Tests/Generators.fs b/tests/OpenTK.Tests/Generators.fs index ec19a3c1..cbcdd929 100644 --- a/tests/OpenTK.Tests/Generators.fs +++ b/tests/OpenTK.Tests/Generators.fs @@ -40,6 +40,7 @@ module private Generators = singleArb |> Gen.three |> Gen.map (fun (x,y,z) -> Quaternion(x,y,z,0.0f) |> Quaternion.Normalize) + |> Gen.filter (fun q -> not <| (Single.IsNaN q.Length || Single.IsInfinity q.Length )) |> Arb.fromGen let mat2 =