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

module Main where

import {-@ HTF_TESTS @-} TagsSpec
import {-@ HTF_TESTS @-} ResolveSpec
import {-@ HTF_TESTS @-} PersistLoadSpec
import {-@ HTF_TESTS @-} PersistStoreSpec
import {-@ HTF_TESTS @-} AddSpec
import {-@ HTF_TESTS @-} MultiTagsSpec
import {-@ HTF_TESTS @-} CycleSpec
import {-@ HTF_TESTS @-} ScratchSpec
import {-@ HTF_TESTS @-} DiagSpec
import Test.Framework
import Test.Framework.BlackBoxTest ()

main :: IO ()
main = htfMain htf_importedTests