1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
module Test.Unit where
import Test.Tasty
import Test.Unit.Abstract qualified as Abstract
import Test.Unit.Backend qualified as Backend
import Test.Unit.CommandLine qualified as CommandLine
import Test.Unit.Concrete qualified as Concrete
import Test.Unit.Core qualified as Core
import Test.Unit.Declaration qualified as Declaration
import Test.Unit.Foundation qualified as Foundation
import Test.Unit.Identity qualified as Identity
import Test.Unit.Html qualified as Html
import Test.Unit.HtmlLayout qualified as HtmlLayout
import Test.Unit.HtmlOutput qualified as HtmlOutput
import Test.Unit.Kernel qualified as Kernel
import Test.Unit.Lexicon qualified as Lexicon
import Test.Unit.Meaning qualified as Meaning
import Test.Unit.Materialization qualified as Materialization
import Test.Unit.Module qualified as Module
import Test.Unit.OutputPlan qualified as OutputPlan
import Test.Unit.Provers qualified as Provers
import Test.Unit.Semantic qualified as Semantic
import Test.Unit.Source qualified as Source
import Test.Unit.Store qualified as Store
import Test.Unit.Token qualified as Token
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
]
|
