Added first TestParser, genericized some other Test code

[offlineimap] / testsrc / runtests.hs

diff --git a/testsrc/runtests.hs b/testsrc/runtests.hs
index 7eb124aec2564d6cceb022a66e3e335d38f212ce..41726eeff4a65c7e0c83b6f9c571cc3f5c2ef533 100644 (file)
--- a/testsrc/runtests.hs
+++ b/testsrc/runtests.hs
@@ -21,23 +21,30 @@ import Test.QuickCheck
 import Test.QuickCheck.Batch
 import qualified Test.HUnit as HU
 import Test.HUnit.Utils
-import qualified Data.Map as Map
+import Data.List
+import System.IO(stderr)
+import Data.Word
 
-import Data.Syncable
+import TestInfrastructure
 
-prop_empty =
-    syncThem emptymap emptymap emptymap == ([], [], [])
+import qualified TestSyncable
+import qualified TestConnection
+import qualified TestParser
 
-keysToMap :: Ord k => [k] -> Map.Map k ()
-keysToMap = foldl (\map k -> Map.insert k () map) Map.empty
+q :: Testable a => String -> a -> HU.Test
+q = qccheck (defaultConfig {configMaxTest = 250})
 
-emptymap :: Map.Map Integer ()
-emptymap = Map.empty
+tl msg t = HU.TestLabel msg $ HU.TestList t
 
-allt = [qctest "Empty" prop_empty]
+allt = [tl "TestSyncable" TestSyncable.allt,
+        tl "TestConnection" TestConnection.allt,
+        tl "TestParser" TestParser.allt]
 
 testh = HU.runTestTT $ HU.TestList allt
-         
+testv = runVerbTestText (HU.putTextToHandle stderr True) $ HU.TestList allt
+
+        
 main = 
-    do testh
+    do testv
        return ()
+