File: runtests.agda

package info (click to toggle)
agda-stdlib 2.1-4
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 9,196 kB
  • sloc: haskell: 375; makefile: 32; sh: 28; lisp: 1
file content (72 lines) | stat: -rw-r--r-- 1,569 bytes parent folder | download
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
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
{-# OPTIONS --guardedness #-}

module runtests where

open import Data.List.Base as List using (_∷_; [])
open import Data.String.Base using (String; _++_)
open import IO.Base
open import Function.Base
open import Test.Golden

dataTests : TestPool
dataTests = mkTestPool "Data structures"
  $ "appending"
  ∷ "colist"
  ∷ "list"
  ∷ "rational"
  ∷ "rational-unnormalised"
  ∷ "trie"
  ∷ "bytestring"
  ∷ []

systemTests : TestPool
systemTests = mkTestPool "System modules"
  $ "ansi"
  ∷ "directory"
  ∷ "environment"
  ∷ "io"
  ∷ "random"
  ∷ []

showTests : TestPool
showTests = mkTestPool "Show instances"
  $ "num"
  ∷ "reflection"
  ∷ "tree"
  ∷ []

textTests : TestPool
textTests = mkTestPool "Text libraries"
  $ "pretty"
  ∷ "printf"
  ∷ "regex"
  ∷ "tabular"
  ∷ []

monadTests : TestPool
monadTests = mkTestPool "Monad transformers"
  $ "counting"
  ∷ "fibonacci"
  ∷ "pythagorean"
  ∷ "tcm"
  ∷ []

reflectionTests : TestPool
reflectionTests = mkTestPool "Reflection machinery"
  $ "assumption"
  ∷ []

main : Main
main = run $ ignore $ runner
  $ testPaths "data"          dataTests
  ∷ testPaths "monad"         monadTests
  ∷ testPaths "reflection"    reflectionTests
  ∷ testPaths "show"          showTests
  ∷ testPaths "system"        systemTests
  ∷ testPaths "text"          textTests
  ∷ [] where

  testPaths : String → TestPool → TestPool
  testPaths dir pool =
    let testCases = List.map ((dir ++ "/") ++_) (pool .TestPool.testCases)
    in record pool { testCases = testCases }