{-# OPTIONS_GHC -F -pgmF tasty-discover -optF --in-place #-}
-- GENERATED BY tasty-discover
{-# LANGUAGE FlexibleInstances #-}
module Main (main, ingredients, tests) where
import Data.String (fromString)
import Prelude
import qualified BackupFiles.ValidTest
import qualified ConfigTest
import qualified DiscoverTest
import qualified ModulesGlob.Sub.OneTest
import qualified ModulesGlob.TwoTest
import qualified SubMod.FooBaz
import qualified SubMod.PropTest
import qualified SubMod.SubSubMod.PropTest
import qualified System.Environment as E
import qualified Test.Tasty as T
import qualified Test.Tasty.Discover as TD
import qualified Test.Tasty.HUnit as HU
import qualified Test.Tasty.Hedgehog as H
import qualified Test.Tasty.Hspec as HS
import qualified Test.Tasty.Ingredients as T
import qualified Test.Tasty.QuickCheck as QC
import qualified Test.Tasty.SmallCheck as SC
{- HLINT ignore "Evaluate" -}
{- HLINT ignore "Use let" -}
class TestGroup a where testGroup :: String -> a -> IO T.TestTree
instance TestGroup T.TestTree where testGroup _ a = pure a
instance TestGroup [T.TestTree] where testGroup n a = pure $ T.testGroup n a
instance TestGroup (IO T.TestTree) where testGroup _ a = a
instance TestGroup (IO [T.TestTree]) where testGroup n a = T.testGroup n <$> a
class TestCase a where testCase :: String -> a -> IO T.TestTree
instance TestCase (IO ()) where testCase n = pure . HU.testCase n
instance TestCase (IO String) where testCase n = pure . HU.testCaseInfo n
instance TestCase ((String -> IO ()) -> IO ()) where testCase n = pure . HU.testCaseSteps n
tests :: IO T.TestTree
tests = do
t0 <- pure $ QC.testProperty "validTest" BackupFiles.ValidTest.prop_validTest
t1 <- HS.testSpec "modules" ConfigTest.spec_modules
t2 <- HS.testSpec "ignores" ConfigTest.spec_ignores
t3 <- HS.testSpec "badModuleGlob" ConfigTest.spec_badModuleGlob
t4 <- HS.testSpec "backupFilesIgnored" ConfigTest.spec_backupFilesIgnored
t5 <- HS.testSpec "modulesGlobIgnoresDirectories" ConfigTest.spec_modulesGlobIgnoresDirectories
t6 <- HS.testSpec "customModuleName" ConfigTest.spec_customModuleName
t7 <- testCase "noTreeDisplayDefault" ConfigTest.unit_noTreeDisplayDefault
t8 <- testCase "treeDisplay" ConfigTest.unit_treeDisplay
t9 <- pure $ QC.testProperty "mkModuleTree" ConfigTest.prop_mkModuleTree
t10 <- HS.testSpec "commentHandling" ConfigTest.spec_commentHandling
t11 <- TD.tasty (TD.description "assertionExample" <> TD.name "ConfigTest.tasty_assertionExample") ConfigTest.tasty_assertionExample
t12 <- TD.tasty (TD.description "skippedAssertion" <> TD.name "ConfigTest.tasty_skippedAssertion") ConfigTest.tasty_skippedAssertion
t13 <- TD.tasty (TD.description "platformAssertion" <> TD.name "ConfigTest.tasty_platformAssertion") ConfigTest.tasty_platformAssertion
t14 <- HS.testSpec "symlinksNotFollowed" ConfigTest.spec_symlinksNotFollowed
t15 <- TD.tasty (TD.description "symlinksNotFollowed" <> TD.name "ConfigTest.tasty_symlinksNotFollowed") ConfigTest.tasty_symlinksNotFollowed
t16 <- testCase "listCompare" DiscoverTest.unit_listCompare
t17 <- pure $ QC.testProperty "additionCommutative" DiscoverTest.prop_additionCommutative
t18 <- pure $ SC.testProperty "sortReverse" DiscoverTest.scprop_sortReverse
t19 <- HS.testSpec "prelude" DiscoverTest.spec_prelude
t20 <- testGroup "addition" DiscoverTest.test_addition
t21 <- testGroup "multiplication" DiscoverTest.test_multiplication
t22 <- testGroup "generateTree" DiscoverTest.test_generateTree
t23 <- testGroup "generateTrees" DiscoverTest.test_generateTrees
t24 <- TD.tasty (TD.description "reverse" <> TD.name "DiscoverTest.tasty_reverse") DiscoverTest.tasty_reverse
t25 <- TD.tasty (TD.description "skip me" <> TD.name "DiscoverTest.tasty_skip_me") DiscoverTest.tasty_skip_me
t26 <- TD.tasty (TD.description "tree of testCase not skipped" <> TD.name "DiscoverTest.tasty_tree_of_testCase_not_skipped") DiscoverTest.tasty_tree_of_testCase_not_skipped
t27 <- testCase "platformExpression linux" DiscoverTest.unit_platformExpression_linux
t28 <- testCase "platformExpression darwin" DiscoverTest.unit_platformExpression_darwin
t29 <- testCase "platformExpression windows" DiscoverTest.unit_platformExpression_windows
t30 <- testCase "platformExpression mingw32" DiscoverTest.unit_platformExpression_mingw32
t31 <- testCase "platformExpression not linux" DiscoverTest.unit_platformExpression_not_linux
t32 <- testCase "platformExpression not linux false" DiscoverTest.unit_platformExpression_not_linux_false
t33 <- testCase "platformExpression not darwin" DiscoverTest.unit_platformExpression_not_darwin
t34 <- testCase "platformExpression not darwin false" DiscoverTest.unit_platformExpression_not_darwin_false
t35 <- testCase "platformExpression not windows" DiscoverTest.unit_platformExpression_not_windows
t36 <- testCase "platformExpression not windows false" DiscoverTest.unit_platformExpression_not_windows_false
t37 <- testCase "platformExpression not mingw32" DiscoverTest.unit_platformExpression_not_mingw32
t38 <- testCase "platformExpression not mingw32 false" DiscoverTest.unit_platformExpression_not_mingw32_false
t39 <- testCase "platformExpression not unix" DiscoverTest.unit_platformExpression_not_unix
t40 <- testCase "platformExpression not unix false linux" DiscoverTest.unit_platformExpression_not_unix_false_linux
t41 <- testCase "platformExpression not unix false darwin" DiscoverTest.unit_platformExpression_not_unix_false_darwin
t42 <- testCase "platformExpression and true" DiscoverTest.unit_platformExpression_and_true
t43 <- testCase "platformExpression and false" DiscoverTest.unit_platformExpression_and_false
t44 <- testCase "platformExpression and false windows" DiscoverTest.unit_platformExpression_and_false_windows
t45 <- testCase "platformExpression and both positive" DiscoverTest.unit_platformExpression_and_both_positive
t46 <- testCase "platformExpression and both positive false" DiscoverTest.unit_platformExpression_and_both_positive_false
t47 <- testCase "platformExpression and three terms" DiscoverTest.unit_platformExpression_and_three_terms
t48 <- testCase "platformExpression or true" DiscoverTest.unit_platformExpression_or_true
t49 <- testCase "platformExpression or true darwin" DiscoverTest.unit_platformExpression_or_true_darwin
t50 <- testCase "platformExpression or false" DiscoverTest.unit_platformExpression_or_false
t51 <- testCase "platformExpression or windows mingw32" DiscoverTest.unit_platformExpression_or_windows_mingw32
t52 <- testCase "platformExpression or three platforms" DiscoverTest.unit_platformExpression_or_three_platforms
t53 <- testCase "platformExpression unix linux" DiscoverTest.unit_platformExpression_unix_linux
t54 <- testCase "platformExpression unix darwin" DiscoverTest.unit_platformExpression_unix_darwin
t55 <- testCase "platformExpression unix windows" DiscoverTest.unit_platformExpression_unix_windows
t56 <- testCase "platformExpression complex1" DiscoverTest.unit_platformExpression_complex1
t57 <- testCase "platformExpression complex2" DiscoverTest.unit_platformExpression_complex2
t58 <- testCase "platformExpression unknown" DiscoverTest.unit_platformExpression_unknown
t59 <- testCase "platformExpression empty" DiscoverTest.unit_platformExpression_empty
t60 <- testCase "platformExpression unknown current" DiscoverTest.unit_platformExpression_unknown_current
t61 <- testCase "platformExpression unix freebsd" DiscoverTest.unit_platformExpression_unix_freebsd
t62 <- testCase "platformExpression not unix freebsd" DiscoverTest.unit_platformExpression_not_unix_freebsd
t63 <- TD.tasty (TD.description "linuxOnly" <> TD.name "DiscoverTest.tasty_linuxOnly") DiscoverTest.tasty_linuxOnly
t64 <- TD.tasty (TD.description "notWindows" <> TD.name "DiscoverTest.tasty_notWindows") DiscoverTest.tasty_notWindows
t65 <- TD.tasty (TD.description "unixLike" <> TD.name "DiscoverTest.tasty_unixLike") DiscoverTest.tasty_unixLike
t66 <- TD.tasty (TD.description "complexPlatform1" <> TD.name "DiscoverTest.tasty_complexPlatform1") DiscoverTest.tasty_complexPlatform1
t67 <- TD.tasty (TD.description "complexPlatform2" <> TD.name "DiscoverTest.tasty_complexPlatform2") DiscoverTest.tasty_complexPlatform2
t68 <- TD.tasty (TD.description "platformSpecific" <> TD.name "DiscoverTest.tasty_platformSpecific") DiscoverTest.tasty_platformSpecific
t69 <- TD.tasty (TD.description "platformAndSkip" <> TD.name "DiscoverTest.tasty_platformAndSkip") DiscoverTest.tasty_platformAndSkip
t70 <- TD.tasty (TD.description "platformGroup" <> TD.name "DiscoverTest.tasty_platformGroup") DiscoverTest.tasty_platformGroup
t71 <- TD.tasty (TD.description "platformFlavored" <> TD.name "DiscoverTest.tasty_platformFlavored") DiscoverTest.tasty_platformFlavored
t72 <- TD.tasty (TD.description "platformProperty" <> TD.name "DiscoverTest.tasty_platformProperty") DiscoverTest.tasty_platformProperty
t73 <- TD.tasty (TD.description "testTree no darwin" <> TD.name "DiscoverTest.tasty_testTree_no_darwin") DiscoverTest.tasty_testTree_no_darwin
t74 <- pure $ H.testPropertyNamed "reverse" (fromString "DiscoverTest.hprop_reverse") DiscoverTest.hprop_reverse
t75 <- TD.tasty (TD.description "goldenTest" <> TD.name "DiscoverTest.tasty_goldenTest") DiscoverTest.tasty_goldenTest
t76 <- pure $ QC.testProperty "subTest" ModulesGlob.Sub.OneTest.prop_subTest
t77 <- pure $ QC.testProperty "topLevelTest" ModulesGlob.TwoTest.prop_topLevelTest
t78 <- pure $ QC.testProperty "additionCommutative" SubMod.FooBaz.prop_additionCommutative
t79 <- pure $ QC.testProperty "multiplationDistributiveOverAddition" SubMod.FooBaz.prop_multiplationDistributiveOverAddition
t80 <- pure $ QC.testProperty "additionAssociative" SubMod.PropTest.prop_additionAssociative
t81 <- pure $ QC.testProperty "additionCommutative" SubMod.SubSubMod.PropTest.prop_additionCommutative
pure $ T.testGroup "test/Driver.hs" [t0,t1,t2,t3,t4,t5,t6,t7,t8,t9,t10,t11,t12,t13,t14,t15,t16,t17,t18,t19,t20,t21,t22,t23,t24,t25,t26,t27,t28,t29,t30,t31,t32,t33,t34,t35,t36,t37,t38,t39,t40,t41,t42,t43,t44,t45,t46,t47,t48,t49,t50,t51,t52,t53,t54,t55,t56,t57,t58,t59,t60,t61,t62,t63,t64,t65,t66,t67,t68,t69,t70,t71,t72,t73,t74,t75,t76,t77,t78,t79,t80,t81]
ingredients :: [T.Ingredient]
ingredients = T.defaultIngredients
main :: IO ()
main = do
args <- E.getArgs
E.withArgs ([] ++ args) $ tests >>= T.defaultMainWithIngredients ingredients