Module ToolOptions

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

Author: Michael Hanus

Version: July 2019

Summary of exported operations:

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

Exported datatypes:


Options

Constructors:

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

    Fields:

    • optVerb :: Int
    • optHelp :: Bool
    • optName :: String
    • optVerify :: Bool
    • optFCY :: Bool
    • optTFCY :: Bool
    • optStrict :: Bool
    • optNoProof :: Bool

Exported operations:

defaultOptions :: Options   

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

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

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

printWhenStatus :: Options -> String -> IO ()   

printWhenIntermediate :: Options -> String -> IO ()   

printWhenAll :: Options -> String -> IO ()