mirror of
https://github.com/barrucadu/dejafu.git
synced 2024-11-23 14:14:36 +03:00
34 lines
1.0 KiB
Haskell
Executable File
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 = []
|