File: Main.hs

package info (click to toggle)
haskell-copilot-theorem 4.6-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 392 kB
  • sloc: haskell: 4,307; makefile: 3
file content (18 lines) | stat: -rw-r--r-- 378 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
 
-- | Test copilot-theorem.
module Main where

-- External imports
import Test.Framework (Test, defaultMain)

-- Internal imports
import qualified Test.Copilot.Theorem.What4

-- | Run all unit tests on copilot-theorem.
main :: IO ()
main = defaultMain tests

-- | All unit tests in copilot-theorem.
tests :: [Test.Framework.Test]
tests =
  [ Test.Copilot.Theorem.What4.tests
  ]