• Example Search
• Project Search

• Java
• Python
• JavaScript
• TypeScript
• C++
• Scala
• Blog

• S99-master
  • src
    • main
      • scala
        • jp
          • co
            • dwango
              • s99
                • P12.scala
                • P55.scala
                • P31.scala
                • P06.scala
                • P27b.scala
                • P57.scala
                • P05.scala
                • P68.scala
                • P19.scala
                • P09.scala
                • arithmetic
                  • package.scala
                • P90.scala
                • P56.scala
                • P04.scala
                • P96.scala
                • P10.scala
                • P23.scala
                • P07.scala
                • P49.scala
                • P61a.scala
                • P21.scala
                • P15.scala
                • P20.scala
                • P08.scala
                • P26.scala
                • P03.scala
                • P01.scala
                • P67.scala
                • P18.scala
                • P24.scala
                • P28b.scala
                • P16.scala
                • P17.scala
                • P22.scala
                • P13.scala
                • P27a.scala
                • P14.scala
                • P47.scala
                • P25.scala
                • P33.scala
                • P32.scala
                • P11.scala
                • Util.scala
                • P62b.scala
                • P28a.scala
                • P46.scala
                • P58.scala
                • P62.scala
                • P02.scala
                • binary_trees
                  • Tree.scala
                • P61.scala
    • test
      • scala
        • jp
          • co
            • dwango
              • s99
                • P62bSpec.scala
                • P07Check.scala
                • P12Spec.scala
                • P03Spec.scala
                • P06Check.scala
                • P04Spec.scala
                • P27bCheck.scala
                • P31Spec.scala
                • P67Spec.scala
                • P23Check.scala
                • P16Spec.scala
                • P26Check.scala
                • P28bCheck.scala
                • P57Check.scala
                • P10Spec.scala
                • P18Check.scala
                • P05Check.scala
                • P01Spec.scala
                • P61Spec.scala
                • P02Check.scala
                • P33Spec.scala
                • P68Spec.scala
                • P25Check.scala
                • P14Spec.scala
                • P17Check.scala
                • P22Check.scala
                • P05Spec.scala
                • P96Spec.scala
                • P15Spec.scala
                • P16Check.scala
                • P62Spec.scala
                • P49Spec.scala
                • P11Spec.scala
                • P09Spec.scala
                • P27aCheck.scala
                • P90Spec.scala
                • P24Check.scala
                • P08Check.scala
                • P03Check.scala
                • P07Spec.scala
                • P13Check.scala
                • P32Spec.scala
                • P58Spec.scala
                • P01Check.scala
                • P14Check.scala
                • P06Spec.scala
                • P61aSpec.scala
                • P17Spec.scala
                • P02Spec.scala
                • P28aCheck.scala
                • P21Check.scala
                • P20Check.scala
                • P08Spec.scala
                • P57Spec.scala
                • P19Spec.scala
                • P04Check.scala
                • P13Spec.scala
  • LICENSE
  • project
    • build.properties
    • plugins.sbt
  • .travis.yml
  • README.md
  • .scalafmt.conf
  • build.sbt
  • .gitignore

package jp.co.dwango.s99

import org.scalacheck.{Arbitrary, Gen, Prop, Properties}

class P03Check extends Properties("P03") {
  property("nth()") = {
    val gen = for {
      x <- Gen.choose(1, 10)
      y <- Gen.choose(0, x - 1)
      s <- Gen.listOfN(x, implicitly[Arbitrary[Int]].arbitrary)
    } yield (s, y)

    Prop.forAll(gen) {
      case (s, i) =>
        P03.nth(i, s) == s(i)
    }
  }
}