dejafu/dejafu-tests/lib/Integration.hs
2019-03-24 02:29:43 +00:00

34 lines
1.0 KiB
Haskell
Executable File

module Integration where
import Test.Tasty.Options (OptionDescription)
import qualified Integration.Async as A
import qualified Integration.Litmus as L
import qualified Integration.MonadDejaFu as MD
import qualified Integration.MultiThreaded as M
import qualified Integration.Names as N
import qualified Integration.Refinement as R
import qualified Integration.Regressions as G
import qualified Integration.SCT as SC
import qualified Integration.SingleThreaded as S
import Common
-- | Run all the integration tests.
tests :: [TestTree]
tests =
[ testGroup "Async" A.tests
, testGroup "Litmus" L.tests
, testGroup "MultiThreaded" M.tests
, testGroup "MonadDejaFu" MD.tests
, testGroup "Names" N.tests
, testGroup "Refinement" R.tests
, testGroup "Regressions" G.tests
, testGroup "SingleThreaded" S.tests
, testGroup "SCT" SC.tests
]
-- | Tasty options
options :: [OptionDescription]
options = []