The options of the contract verification tool together with some related operations.
Author: Michael Hanus
Version: October 2021
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 ()
|
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
|
Process the actual command line argument and return the options and the name of the main program. |
|
|
|