Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
-}
-module Main where
+module Main where
+import Test.QuickCheck
+import Test.QuickCheck.Batch
+import qualified Test.HUnit as HU
+import Test.HUnit.Utils
+import Data.List
+import System.IO(stderr)
+import Data.Word
-import Test.HUnit
--- import Tests
+import TestInfrastructure
--- main = runTestTT tests
-main = putStrLn "fake"
+import qualified TestSyncable
+import qualified TestConnection
+import qualified TestParser
+import qualified TestParserPrim
+
+q :: Testable a => String -> a -> HU.Test
+q = qccheck (defaultConfig {configMaxTest = 250})
+
+tl msg t = HU.TestLabel msg $ HU.TestList t
+
+allt = [tl "TestSyncable" TestSyncable.allt,
+ tl "TestConnection" TestConnection.allt,
+ tl "TestParserPrim" TestParserPrim.allt,
+ tl "TestParser" TestParser.allt
+ ]
+
+testh = HU.runTestTT $ HU.TestList allt
+testv = runVerbTestText (HU.putTextToHandle stderr True) $ HU.TestList allt
+
+
+main =
+ do testv
+ return ()