Module ToolOptions

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

Author: Michael Hanus

Version: October 2021

Summary of exported operations:

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

Exported datatypes:

Options

Constructors:

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

    Fields:

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

Exported operations:

defaultOptions :: Options  Deterministic 

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

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

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

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

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

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