module Main where import Data.CfgTests(tests) import Test.Framework(defaultMain) main :: IO () main = defaultMain [tests]