summaryrefslogtreecommitdiff
path: root/source/Felix/Test/Unit.hs
diff options
context:
space:
mode:
Diffstat (limited to 'source/Felix/Test/Unit.hs')
-rw-r--r--source/Felix/Test/Unit.hs52
1 files changed, 52 insertions, 0 deletions
diff --git a/source/Felix/Test/Unit.hs b/source/Felix/Test/Unit.hs
new file mode 100644
index 0000000..f11d21f
--- /dev/null
+++ b/source/Felix/Test/Unit.hs
@@ -0,0 +1,52 @@
+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
+ ]