mdp-0.1.0.0: testsuite/tests/TestMain.hs

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

module Main where

import Test.Framework

import {-@ HTF_TESTS @-} Algorithms.MDP.Ex_3_1_Test
import {-@ HTF_TESTS @-} Algorithms.MDP.Ex_3_1_RelativeTest
import {-@ HTF_TESTS @-} Algorithms.MDP.Ex_3_2_Test
import {-@ HTF_TESTS @-} Algorithms.MDP.Ex_MM1_Test

main = htfMain htf_importedTests