withArgs package:HTF

htfMainWithArgs :: TestableHTF t => [String] -> t -> IO ()

HTF Test.Framework Test.Framework.TestManager

Runs something testable by parsing the commandline arguments as test options (using parseTestArgs). Exits with the exit code returned by runTestWithArgs.

runTestWithArgs :: TestableHTF t => [String] -> t -> IO ExitCode

HTF Test.Framework.TestManager

Run something testable, parse the CmdlineOptions from the given commandline arguments. Does not print the overall test results but returns an IO action for doing so.

runTestWithArgs' :: TestableHTF t => [String] -> t -> IO (IO (), ExitCode)

HTF Test.Framework.TestManager

Run something testable, parse the CmdlineOptions from the given commandline arguments.