Beispiel #1
0
        public static void Assert <T>(
            this IGen <Test <T> > property,
            int?iterations  = null,
            int?seed        = null,
            int?size        = null,
            int?shrinkLimit = null,
            string?replay   = null,
            bool deepCheck  = true,
            Func <string, string>?formatReproduction = null,
            Func <string, string>?formatMessage      = null)
        {
            var checkResult = property.Check(iterations: iterations, seed: seed, size: size, shrinkLimit: shrinkLimit, replay: replay, deepCheck: deepCheck);

            if (checkResult.Falsified)
            {
                throw new PropertyFailedException(
                          BoxCounterexample(checkResult.Counterexample !),
                          checkResult.Iterations,
                          checkResult.Shrinks,
                          formatReproduction,
                          formatMessage);
            }
        }