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
53
54
55
|
module Test.Unit where
import Test.Tasty
import Test.Tasty.HUnit
import Test.Unit.Abstract qualified as Abstract
import Test.Unit.Backend qualified as Backend
import Test.Unit.Checking qualified as Checking
import Test.Unit.CommandLine qualified as CommandLine
import Test.Unit.Concrete qualified as Concrete
import Test.Unit.Core qualified as Core
import Test.Unit.Encoding qualified as Encoding
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.Migration qualified as Migration
import Test.Unit.Provers qualified as Provers
import Test.Unit.Source qualified as Source
import Test.Unit.Symdiff qualified as Symdiff
import Test.Unit.Token qualified as Token
unitTests :: TestTree
unitTests = testGroup "unit tests"
[testCase "filter" filtersWell
, Abstract.unitTests
, Backend.unitTests
, Checking.unitTests
, CommandLine.unitTests
, Concrete.unitTests
, Core.unitTests
, Encoding.unitTests
, Foundation.unitTests
, Identity.unitTests
, Html.unitTests
, HtmlLayout.unitTests
, HtmlOutput.unitTests
, Kernel.unitTests
, Lexicon.unitTests
, Meaning.unitTests
, Migration.unitTests
, Provers.unitTests
, Source.unitTests
, Token.unitTests
]
filtersWell :: Assertion
filtersWell = do
assertBool "Filter works on symdiff problem" Symdiff.filtersWell
assertBool "Filter handles struct/app syntax" Symdiff.handlesStructAndApply
|
