packages feed

lvish-1.1.1.1: tests/Main.hs

-- #!/usr/bin/env runghc -i..

{-# LANGUAGE CPP #-}

-- | This module aggregates all the unit tests in this directory.

module Main where

import Test.Framework (Test)
import TestHelpers (defaultMainSeqTests)

import qualified MemoTests
import qualified LVishAndIVar
import qualified ArrayTests
import qualified LogicalTests
import qualified SkipListTests
--import qualified SNZITests
import qualified PureMapTests
import qualified SLMapTests
import qualified SetTests
import qualified MaxCounterTests
import qualified AddRemoveSetTests

#ifdef GENERIC_PAR
import qualified GenericTests
#endif

main :: IO ()
main = defaultMainSeqTests alltests

alltests :: [Test]
alltests = 
       [ LVishAndIVar.tests
       , ArrayTests.tests
       , MemoTests.tests
       , LogicalTests.tests
       , MaxCounterTests.tests
       , SetTests.tests
       , PureMapTests.tests 
#ifdef FAILING_TESTS
       , SLMapTests.tests    -- TODO: close Issue #27, #28 first.  
       , SkipListTests.tests -- Seems to diverge on some sizes on slm2/slm3 [2013.12.07]
--       , SNZITests.tests     -- These have failures still [2013.10.23]
#ifdef GENERIC_PAR         
       , GenericTests.tests -- Divergence... debugging [2013.12.07]
#endif
#endif
       , AddRemoveSetTests.tests
       ]