|
Packit |
8cecbd |
module Main where
|
|
Packit |
8cecbd |
|
|
Packit |
8cecbd |
import qualified Codec.Archive.Tar.Index as Index
|
|
Packit |
8cecbd |
import qualified Codec.Archive.Tar.Index.IntTrie as IntTrie
|
|
Packit |
8cecbd |
import qualified Codec.Archive.Tar.Index.StringTable as StringTable
|
|
Packit |
8cecbd |
import qualified Codec.Archive.Tar as Tar
|
|
Packit |
8cecbd |
|
|
Packit |
8cecbd |
import qualified Data.ByteString as BS
|
|
Packit |
8cecbd |
|
|
Packit |
8cecbd |
import Test.Tasty
|
|
Packit |
8cecbd |
import Test.Tasty.QuickCheck
|
|
Packit |
8cecbd |
|
|
Packit |
8cecbd |
main :: IO ()
|
|
Packit |
8cecbd |
main =
|
|
Packit |
8cecbd |
defaultMain $
|
|
Packit |
8cecbd |
testGroup "tar tests" [
|
|
Packit |
8cecbd |
|
|
Packit |
8cecbd |
testGroup "write/read" [
|
|
Packit |
8cecbd |
testProperty "ustar format" Tar.prop_write_read_ustar,
|
|
Packit |
8cecbd |
testProperty "gnu format" Tar.prop_write_read_gnu,
|
|
Packit |
8cecbd |
testProperty "v7 format" Tar.prop_write_read_v7
|
|
Packit |
8cecbd |
]
|
|
Packit |
8cecbd |
|
|
Packit |
8cecbd |
, testGroup "string table" [
|
|
Packit |
8cecbd |
testProperty "construction" StringTable.prop_valid,
|
|
Packit |
8cecbd |
testProperty "sorted" StringTable.prop_sorted,
|
|
Packit |
8cecbd |
testProperty "serialise" StringTable.prop_serialise_deserialise,
|
|
Packit |
8cecbd |
testProperty "size" StringTable.prop_serialiseSize,
|
|
Packit |
8cecbd |
testProperty "unfinalise" StringTable.prop_finalise_unfinalise
|
|
Packit |
8cecbd |
]
|
|
Packit |
8cecbd |
|
|
Packit |
8cecbd |
, testGroup "int trie" [
|
|
Packit |
8cecbd |
testProperty "unit 1" IntTrie.test1,
|
|
Packit |
8cecbd |
testProperty "unit 2" IntTrie.test2,
|
|
Packit |
8cecbd |
testProperty "unit 3" IntTrie.test3,
|
|
Packit |
8cecbd |
testProperty "lookups" IntTrie.prop_lookup_mono,
|
|
Packit |
8cecbd |
testProperty "completions" IntTrie.prop_completions_mono,
|
|
Packit |
8cecbd |
testProperty "toList" IntTrie.prop_construct_toList,
|
|
Packit |
8cecbd |
testProperty "serialise" IntTrie.prop_serialise_deserialise,
|
|
Packit |
8cecbd |
testProperty "size" IntTrie.prop_serialiseSize,
|
|
Packit |
8cecbd |
testProperty "unfinalise" IntTrie.prop_finalise_unfinalise
|
|
Packit |
8cecbd |
]
|
|
Packit |
8cecbd |
|
|
Packit |
8cecbd |
, testGroup "index" [
|
|
Packit |
8cecbd |
testProperty "lookup" Index.prop_lookup,
|
|
Packit |
8cecbd |
testProperty "valid" Index.prop_valid,
|
|
Packit |
8cecbd |
testProperty "toList" Index.prop_toList,
|
|
Packit |
8cecbd |
testProperty "serialise" Index.prop_serialise_deserialise,
|
|
Packit |
8cecbd |
testProperty "size" Index.prop_serialiseSize,
|
|
Packit |
8cecbd |
testProperty "matches tar" Index.prop_index_matches_tar,
|
|
Packit |
8cecbd |
testProperty "unfinalise" Index.prop_finalise_unfinalise
|
|
Packit |
8cecbd |
]
|
|
Packit |
8cecbd |
]
|
|
Packit |
8cecbd |
|