module Felix.Test.Unit where


import Felix.Test.Unit.Abstract qualified as Abstract
import Felix.Test.Unit.Backend qualified as Backend
import Felix.Test.Unit.CommandLine qualified as CommandLine
import Felix.Test.Unit.Concrete qualified as Concrete
import Felix.Test.Unit.Core qualified as Core
import Felix.Test.Unit.Declaration qualified as Declaration
import Felix.Test.Unit.Foundation qualified as Foundation
import Felix.Test.Unit.Html qualified as Html
import Felix.Test.Unit.HtmlLayout qualified as HtmlLayout
import Felix.Test.Unit.HtmlOutput qualified as HtmlOutput
import Felix.Test.Unit.Identity qualified as Identity
import Felix.Test.Unit.Kernel qualified as Kernel
import Felix.Test.Unit.Lexicon qualified as Lexicon
import Felix.Test.Unit.Materialization qualified as Materialization
import Felix.Test.Unit.Meaning qualified as Meaning
import Felix.Test.Unit.Module qualified as Module
import Felix.Test.Unit.OutputPlan qualified as OutputPlan
import Felix.Test.Unit.Provers qualified as Provers
import Felix.Test.Unit.Semantic qualified as Semantic
import Felix.Test.Unit.Source qualified as Source
import Felix.Test.Unit.Store qualified as Store
import Felix.Test.Unit.Token qualified as Token
import Test.Tasty

unitTests :: TestTree
unitTests = testGroup "unit tests"
    [ Abstract.unitTests
    , Backend.unitTests
    , CommandLine.unitTests
    , Concrete.unitTests
    , Core.unitTests
    , Declaration.unitTests
    , Foundation.unitTests
    , Identity.unitTests
    , Html.unitTests
    , HtmlLayout.unitTests
    , HtmlOutput.unitTests
    , Kernel.unitTests
    , Lexicon.unitTests
    , Meaning.unitTests
    , Materialization.unitTests
    , Module.unitTests
    , OutputPlan.unitTests
    , Provers.unitTests
    , Semantic.unitTests
    , Source.unitTests
    , Store.unitTests
    , Token.unitTests
    ]