PAKCS
Exported names: Imported modules:

Module ProverOptions

The options of the contract verification tool.

Author: Michael Hanus

Version: April 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.

Exported datatypes:

Options

Constructors:

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

    Fields:

    • optVerb :: Int
    • optHelp :: Bool
    • optVerify :: Bool
    • optReplace :: 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.