mkSuite :: IO Test.Framework.Test
mkSuite = do
 goods <- sequence
  [ goodSuite "ej"        (usualArgs "examples/ej" [])
  , goodSuite "chatnoir"  (usualArgs "examples/chatnoir" [])
  , goodSuite "demo"      (usualArgs "examples/demo" [])
  , goodSuite "promettre" (usualArgs "examples/promettre" ["--opts=pol"])
  , goodSuite "artificial" (usualArgs "examples/artificial" [])
  , badSuite  "artificial (bad)" (usualArgsBad "examples/artificial" [])
  ]
 return $ testGroup "Functional tests (coarse grained)" goods
mkSuite :: IO Test.Framework.Test
mkSuite = do
 goods <- sequence
  [ goodSuite "ej"        (usualArgs "examples/ej" [])
  , goodSuite "chatnoir"  (usualArgs "examples/chatnoir" [])
  , goodSuite "demo"      (usualArgs "examples/demo" [])
  , goodSuite "promettre" (usualArgs "examples/promettre" ["--opts=pol"])
  , goodSuite "artificial" (usualArgs "examples/artificial" [])
  , badSuite  "artificial (bad)" (usualArgsBad "examples/artificial" [])
  ]
 return $ testGroup "Functional tests (coarse grained)" goods
mkSuite = do
 goods <- sequence
  [ goodSuite "ej"        (usualArgs "examples/ej" [])
  , goodSuite "chatnoir"  (usualArgs "examples/chatnoir" [])
  , goodSuite "demo"      (usualArgs "examples/demo" [])
  , goodSuite "promettre" (usualArgs "examples/promettre" ["--opts=pol"])
  , goodSuite "artificial" (usualArgs "examples/artificial" [])
  , badSuite  "artificial (bad)" (usualArgsBad "examples/artificial" [])
  ]
 return $ testGroup "Functional tests (coarse grained)" goods