Commit aab23482 authored by Mike Ledger's avatar Mike Ledger

use tasty

parent ad58d5ed
Pipeline #9785267 passed with stage
in 10 minutes and 7 seconds
......@@ -43,6 +43,8 @@ test-suite radixtree-test
, radixtree
, attoparsec
, smallcheck
, tasty
, tasty-smallcheck
, text
ghc-options: -threaded -rtsopts -with-rtsopts=-N
default-language: Haskell2010
......
......@@ -7,6 +7,8 @@ import qualified Data.RadixTree as R
import qualified Data.Text as T
import Test.SmallCheck
import Test.SmallCheck.Series
import Test.Tasty
import Test.Tasty.SmallCheck
sortOnLengthDesc :: [T.Text] -> [T.Text]
sortOnLengthDesc = sortOn (negate . T.length)
......@@ -23,4 +25,5 @@ naiiveSameAsRadix =
parseOnly (R.parse (R.fromFoldable alternatives)) text
main :: IO ()
main = smallCheck 5 naiiveSameAsRadix
main = defaultMain
(testProperty "naiive parsing has the same result as radix tree parsing" naiiveSameAsRadix)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment