module Main where

import Tests.Tasty
import Tests.Tasty.QuickCheck

oracleProps :: TestTree
oracleProps = testGroup "Property Tests Using Prelude as Oracle"
  [ testProperty "take" (\(xs :: [Int]) (n :: NonNegative Int) ->
      take (getNonNegative n) xs == P.take (getNonNegative n) xs)
  , testProperty "drop" (\(xs :: [Int]) n ->
      drop (getNonNegative n) xs == P.drop (getNonNegative n) xs)
  ]