TestSuite.hs

-- Note: this is an automatically generated file. Do not edit.
-- | Hydra's common test suite, which is designed to run identically in each Hydra implementation; the criterion for a true Hydra implementation is that all test cases pass.

module Hydra.Test.TestSuite where
import qualified Hydra.Test.Annotations as Annotations
import qualified Hydra.Test.Checking.All as CheckingAll
import qualified Hydra.Test.Dependencies as Dependencies
import qualified Hydra.Test.Differentiation as Differentiation
import qualified Hydra.Test.EtaExpansion as EtaExpansion
import qualified Hydra.Test.Formatting as Formatting
import qualified Hydra.Test.Generation as Generation
import qualified Hydra.Test.Hoisting.All as HoistingAll
import qualified Hydra.Test.Inference.All as InferenceAll
import qualified Hydra.Test.Json.Roundtrip as Roundtrip
import qualified Hydra.Test.Json.Writer as Writer
import qualified Hydra.Test.Json.Yaml as Yaml
import qualified Hydra.Test.Lib.Chars as Chars
import qualified Hydra.Test.Lib.Eithers as Eithers
import qualified Hydra.Test.Lib.Equality as Equality
import qualified Hydra.Test.Lib.Lists as Lists
import qualified Hydra.Test.Lib.Literals as Literals
import qualified Hydra.Test.Lib.Logic as Logic
import qualified Hydra.Test.Lib.Maps as Maps
import qualified Hydra.Test.Lib.Math as Math
import qualified Hydra.Test.Lib.Maybes as Maybes
import qualified Hydra.Test.Lib.Pairs as Pairs
import qualified Hydra.Test.Lib.Regex as Regex
import qualified Hydra.Test.Lib.Sets as Sets
import qualified Hydra.Test.Lib.Strings as Strings
import qualified Hydra.Test.Reduction as Reduction
import qualified Hydra.Test.Rewriting as Rewriting
import qualified Hydra.Test.Serialization as Serialization
import qualified Hydra.Test.Sorting as Sorting
import qualified Hydra.Test.Strip as Strip
import qualified Hydra.Test.Substitution as Substitution
import qualified Hydra.Test.Unification as Unification
import qualified Hydra.Test.Validate.All as ValidateAll
import qualified Hydra.Test.Variables as Variables
import qualified Hydra.Testing as Testing
import Prelude hiding  (Enum, Ordering, decodeFloat, encodeFloat, fail, map, pure, sum)
import qualified Data.Scientific as Sci
-- | The group of all common tests
allTests :: Testing.TestGroup
allTests =
    Testing.TestGroup {
      Testing.testGroupName = "common",
      Testing.testGroupDescription = Nothing,
      Testing.testGroupSubgroups = [
        Chars.allTests,
        Eithers.allTests,
        Equality.allTests,
        Lists.allTests,
        Literals.allTests,
        Logic.allTests,
        Maps.allTests,
        Math.allTests,
        Maybes.allTests,
        Pairs.allTests,
        Regex.allTests,
        Sets.allTests,
        Strings.allTests,
        Annotations.allTests,
        CheckingAll.allTests,
        Dependencies.allTests,
        Differentiation.allTests,
        EtaExpansion.allTests,
        Formatting.allTests,
        Generation.allTests,
        HoistingAll.allTests,
        InferenceAll.allTests,
        Roundtrip.allTests,
        Writer.allTests,
        Yaml.allTests,
        Reduction.allTests,
        Rewriting.allTests,
        Serialization.allTests,
        Sorting.allTests,
        Strip.allTests,
        Substitution.allTests,
        Unification.allTests,
        ValidateAll.allTests,
        Variables.allTests],
      Testing.testGroupCases = []}