File: Main.hs

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

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

-- Internal imports
import qualified Test.Copilot.Library.PTLTL

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

-- | All unit tests in copilot-libraries.
tests :: [Test.Framework.Test]
tests =
  [ Test.Copilot.Library.PTLTL.tests
  ]