labyrinth-server-0.1.2.0: testsuite/TestMain.hs

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

import Test.Framework

import {-@ HTF_TESTS @-} TestLabyrinthServer
import {-@ HTF_TESTS @-} TestLabyrinthServer.JSON

main = htfMain htf_importedTests