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

module Main (main) where

import {-@ HTF_TESTS @-} Keuringsdienst.HelpersSpec
import {-@ HTF_TESTS @-} KeuringsdienstSpec
import Test.Framework

main :: IO ()
main = htfMain htf_importedTests