Exemple #1
0
 public bool MinSortHeadPropA(FsCheck.NonEmptyArray <FsCheck.NormalFloat> xs)
 {
     double[] ys = xs.Get.Select(e => e.Get).ToArray();
     Array.Sort(ys);
     return(Util.InEpsilon(xs.Get.Min().Get, ys[0], epsilon * ys[0]));
 }
Exemple #2
0
        public bool NotStructurablyEquatable(FsCheck.NonEmptyArray <int> xs)
        {
            var set = new[] { xs.Item.ToImmutableArray() }.ToHashSet();

            return(!set.Contains(xs.Item.ToImmutableArray()));
        }