Make sure there are some non-zero values

data61 · May 6, 2024 · c9d7e31 · c9d7e31
1 parent 3876bdb
commit c9d7e31
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/test/Spec.hs b/test/Spec.hs
@@ -188,8 +188,8 @@ main = defaultMain $
                             between (-1,1) corr || isNaN corr
                 , QC.testProperty "LinRegState Semigroup" $ \v1 v2 ->
                     U.length v1 > 2 && U.length v2 > 2
-                    && U.sum (U.map fst (mappend v1 v1)) /= U.product (U.map fst (mappend v1 v1))
-                    && U.sum (U.map snd (mappend v1 v1)) /= U.product (U.map snd (mappend v1 v1)) ==> let
+                    && U.any (/=0.0) (U.map fst (mappend v1 v1))
+                    && U.any (/=0.0) (U.map snd (mappend v1 v1)) ==> let
                       sep = getLinRegResult $ F.fold foldLinRegState (U.toList v1) <> F.fold foldLinRegState (U.toList v2)
                       tog = F.fold fastLinearReg (U.toList v1 ++ U.toList v2)
                       in (cmpLMVSK precision (lrrXStats sep) (lrrXStats tog)