def toProp()

in algebird-test/src/main/scala/com/twitter/algebird/ApproximateProperty.scala [60:109]
37 lines of code
6 McCabe index (conditional complexity)

  def toProp(a: ApproximateProperty, objectReps: Int, inputReps: Int, falsePositiveRate: Double): Prop =
    Prop { _: Gen.Parameters =>
      require(0 <= falsePositiveRate && falsePositiveRate <= 1)

      val list = successesAndProbabilities(a, objectReps, inputReps)
      val n = list.length

      val monoid = implicitly[Monoid[(Int, Double, List[String])]]
      val (successes, sumOfProbabilities, exacts) = monoid.sum(list)

      // Computed from Hoeffding's inequality, might be inaccurate
      // TODO Make sure this is correct
      val diff = scala.math.sqrt(-n * scala.math.log(falsePositiveRate) / 2.0)

      val success =
        if (successes >= (sumOfProbabilities - diff)) Prop.Proof else Prop.False

      // Args that get printed when Scalacheck runs the test
      val argsList: List[(String, String)] = {
        val results = List(
          ("Successes", s"$successes (out of $n)"),
          ("Expected successes", "%.2f".format(sumOfProbabilities)),
          ("Required successes", "%.2f".format(sumOfProbabilities - diff))
        )

        val exampleFailures =
          if (success == Prop.False)
            List(("Example failures:\n  >", exacts.take(5).mkString("\n  >")))
          else List()

        val zeroProbTests = objectReps * inputReps - n
        val testsReturnedZeroProb =
          if (zeroProbTests > 0) {
            List(
              (
                "Omitted results",
                s"$zeroProbTests/${objectReps * inputReps} tests returned an Approximate with probability 0. These tests have been omitted from the calculation."
              )
            )
          } else List()

        results ++ exampleFailures ++ testsReturnedZeroProb
      }

      val args = argsList.map { case (name, value) =>
        Prop.Arg(name, value, 0, value, Pretty.prettyAny(value), Pretty.prettyAny(value))
      }

      Prop.Result(success, args = args)
    }