The options of the contract verification tool together with some related operations.
Author: Michael Hanus
Version: February 2022
defaultOptions
:: Options
Default options. |
processOptions
:: String -> [String] -> IO (Options,[String])
Process the actual command line argument and return the options and the name of the main program. |
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
Default options.
|
Process the actual command line argument and return the options and the name of the main program. |