From c12eefa0cf0260160341ff616d69ba505e58eade Mon Sep 17 00:00:00 2001
From: Jarl Gullberg <jarl.gullberg@gmail.com>
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 ec19a3c..cbcdd92 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 =
-- 
2.7.4