imp-ppl-0.1.0.0: test/Main.hs

module Main where

import Test.Tasty
import qualified Test.Semiring as Semiring
import qualified Test.BDD as BDD
import qualified Test.DSL as DSL
import qualified Test.Combinators as Combinators
import qualified Test.Inference as Inference
import qualified Test.Examples as Examples

main :: IO ()
main = defaultMain $ testGroup "imp"
  [ Semiring.tests
  , BDD.tests
  , DSL.tests
  , Combinators.tests
  , Inference.tests
  , Examples.tests
  ]