cornea-0.2.0.0: test/u/SpecMain.hs

{-# OPTIONS_GHC -F -pgmF htfpp #-}

module Main where

import Test.Framework
import Test.Framework.BlackBoxTest ()
import {-@ HTF_TESTS @-} DeepErrorSpec
import {-@ HTF_TESTS @-} DeepStateSpec

main :: IO ()
main = htfMain htf_importedTests