PAKCS
Exported names: Imported modules:

Module CCTOptions

Command line options for the concolic testing tool.

Author: Jan Tikovsky

Version: December 2017

Summary of exported operations:

defCCTOpts :: CCTOpts   
default options
covScope :: CCTOpts -> Int   
Determine coverage scope
getOpts :: IO (CCTOpts,[String])   
Retrieve the parsed options.
badUsage :: String -> [String] -> IO a   
Complain about bad program usage (wrong options) and print the usage information before exiting with error code 1.

Exported datatypes:

CCTOpts

Constructors:

  • CCTOpts :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> [String] -> Verbosity -> Int -> Int -> Coverage -> CCTOpts

    Fields:

    • optHelp :: Bool
    • optVersion :: Bool
    • optDebugEval :: Bool
    • optDebugSearch :: Bool
    • optDumpSMT :: Bool
    • optIncremental :: Bool
    • optImportPaths :: [String]
    • optVerbosity :: Verbosity
    • optSearchDepth :: Int
    • optEvalSteps :: Int
    • optCoverage :: Coverage
Verbosity

Verbosity level

Constructors:

  • Quiet :: Verbosity
  • Status :: Verbosity
  • Info :: Verbosity
  • Debug :: Verbosity

Exported operations:

defCCTOpts :: CCTOpts   

default options

Further infos:
  • solution complete, i.e., able to compute all solutions

covScope :: CCTOpts -> Int   

Determine coverage scope

getOpts :: IO (CCTOpts,[String])   

Retrieve the parsed options. This operation only returns if

  • the @--help@ option was not specified
  • the @--version@ option was not specified
  • there were no errors in the specified options.

badUsage :: String -> [String] -> IO a   

Complain about bad program usage (wrong options) and print the usage information before exiting with error code 1.