Module ToolOptions

The options of the contract verification tool together with some related operations.

Author: Michael Hanus

Version: February 2022

Summary of exported operations:

defaultOptions :: Options  Deterministic 
Default options.
processOptions :: String -> [String] -> IO (Options,[String])  Deterministic 
Process the actual command line argument and return the options and the name of the main program.

Exported datatypes:

Options

Constructors:

  • Options :: Int -> Bool -> String -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Int -> Bool -> Int -> Int -> Bool -> Options

    Fields:

    • optVerb :: Int
    • optHelp :: Bool
    • optName :: String
    • optError :: Bool
    • optRec :: Bool
    • optConFail :: Bool
    • optStrict :: Bool
    • optFCY :: Bool
    • optAFCY :: Bool
    • optFailfree :: Bool
    • optContract :: Int
    • optTime :: Bool
    • optExamples :: Int
    • optTimeout :: Int
    • optStoreProof :: Bool

Exported operations:

defaultOptions :: Options  Deterministic 

Default options.

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

processOptions :: String -> [String] -> IO (Options,[String])  Deterministic 

Process the actual command line argument and return the options and the name of the main program.