STATE)State of parameter -session
SIGNAL)Signal for state session
GET)Getter for state session
input
::=null
output
::=string
SET)Setter for state session
input
::=string
output
::=null
STATE)State of parameter -ast-diff
SIGNAL)Signal for state astDiff
GET)Getter for state astDiff
input
::=null
output
::=boolean
SET)Setter for state astDiff
input
::=boolean
output
::=null
STATE)State of parameter -eager-load-sources
SIGNAL)Signal for state eagerLoadSources
GET)Getter for state eagerLoadSources
input
::=null
output
::=boolean
SET)Setter for state eagerLoadSources
input
::=boolean
output
::=null
STATE)State of parameter -big-ints-hex
SIGNAL)Signal for state bigIntsHex
GET)Getter for state bigIntsHex
input
::=null
output
::=number
SET)Setter for state bigIntsHex
input
::=number
output
::=null
STATE)State of parameter -float-hex
SIGNAL)Signal for state floatHex
GET)Getter for state floatHex
input
::=null
output
::=boolean
SET)Setter for state floatHex
input
::=boolean
output
::=null
STATE)State of parameter -float-relative
SIGNAL)Signal for state floatRelative
GET)Getter for state floatRelative
input
::=null
output
::=boolean
SET)Setter for state floatRelative
input
::=boolean
output
::=null
STATE)State of parameter -float-normal
SIGNAL)Signal for state floatNormal
GET)Getter for state floatNormal
input
::=null
output
::=boolean
SET)Setter for state floatNormal
input
::=boolean
output
::=null
STATE)State of parameter -ocode
SIGNAL)Signal for state ocode
GET)Getter for state ocode
input
::=null
output
::=string
SET)Setter for state ocode
input
::=string
output
::=null
STATE)State of parameter -print-return
SIGNAL)Signal for state printReturn
GET)Getter for state printReturn
input
::=null
output
::=boolean
SET)Setter for state printReturn
input
::=boolean
output
::=null
STATE)State of parameter -print-libc
SIGNAL)Signal for state printLibc
GET)Getter for state printLibc
input
::=null
output
::=boolean
SET)Setter for state printLibc
input
::=boolean
output
::=null
STATE)State of parameter -keep-comments
SIGNAL)Signal for state keepComments
GET)Getter for state keepComments
input
::=null
output
::=boolean
SET)Setter for state keepComments
input
::=boolean
output
::=null
STATE)State of parameter -print-as-is
SIGNAL)Signal for state printAsIs
GET)Getter for state printAsIs
input
::=null
output
::=boolean
SET)Setter for state printAsIs
input
::=boolean
output
::=null
STATE)State of parameter -print
SIGNAL)Signal for state print
GET)Getter for state print
input
::=null
output
::=boolean
SET)Setter for state print
input
::=boolean
output
::=null
STATE)State of parameter -remove-projects
SIGNAL)Signal for state removeProjects
GET)Getter for state removeProjects
input
::=null
output
::=string
SET)Setter for state removeProjects
input
::=string
output
::=null
STATE)State of parameter -set-project-as-default
SIGNAL)Signal for state setProjectAsDefault
GET)Getter for state setProjectAsDefault
input
::=null
output
::=boolean
SET)Setter for state setProjectAsDefault
input
::=boolean
output
::=null
STATE)State of parameter -typecheck
SIGNAL)Signal for state typecheck
GET)Getter for state typecheck
input
::=null
output
::=boolean
SET)Setter for state typecheck
input
::=boolean
output
::=null
STATE)State of parameter -copy
SIGNAL)Signal for state copy
GET)Getter for state copy
input
::=null
output
::=boolean
SET)Setter for state copy
input
::=boolean
output
::=null
STATE)State of parameter -check
SIGNAL)Signal for state check
GET)Getter for state check
input
::=null
output
::=boolean
SET)Setter for state check
input
::=boolean
output
::=null
STATE)State of parameter -dump-dependencies
SIGNAL)Signal for state dumpDependencies
GET)Getter for state dumpDependencies
input
::=null
output
::=string
SET)Setter for state dumpDependencies
input
::=string
output
::=null
STATE)State of parameter -add-symbolic-path
SIGNAL)Signal for state addSymbolicPath
GET)Getter for state addSymbolicPath
input
::=null
output
::=string
SET)Setter for state addSymbolicPath
input
::=string
output
::=null
STATE)State of parameter -time
SIGNAL)Signal for state time
GET)Getter for state time
input
::=null
output
::=string
SET)Setter for state time
input
::=string
output
::=null
STATE)State of parameter -quiet
SIGNAL)Signal for state quiet
GET)Getter for state quiet
input
::=null
output
::=boolean
SET)Setter for state quiet
input
::=boolean
output
::=null
STATE)State of parameter -debug
SIGNAL)Signal for state debug
GET)Getter for state debug
input
::=null
output
::=number
SET)Setter for state debug
input
::=number
output
::=null
STATE)State of parameter -verbose
SIGNAL)Signal for state verbose
GET)Getter for state verbose
input
::=null
output
::=number
SET)Setter for state verbose
input
::=number
output
::=null
STATE)State of parameter -kernel-warn-key
SIGNAL)Signal for state kernelWarnKey
GET)Getter for state kernelWarnKey
input
::=null
output
::=string
SET)Setter for state kernelWarnKey
input
::=string
output
::=null
STATE)State of parameter -kernel-msg-key
SIGNAL)Signal for state kernelMsgKey
GET)Getter for state kernelMsgKey
input
::=null
output
::=string
SET)Setter for state kernelMsgKey
input
::=string
output
::=null
STATE)State of parameter -kernel-debug
SIGNAL)Signal for state kernelDebug
GET)Getter for state kernelDebug
input
::=null
output
::=number
SET)Setter for state kernelDebug
input
::=number
output
::=null
STATE)State of parameter -kernel-verbose
SIGNAL)Signal for state kernelVerbose
GET)Getter for state kernelVerbose
input
::=null
output
::=number
SET)Setter for state kernelVerbose
input
::=number
output
::=null
STATE)State of parameter -kernel-log
SIGNAL)Signal for state kernelLog
GET)Getter for state kernelLog
input
::=null
output
::=string
SET)Setter for state kernelLog
input
::=string
output
::=null
STATE)State of parameter -state
SIGNAL)Signal for state state
GET)Getter for state state
input
::=null
output
::=string
SET)Setter for state state
input
::=string
output
::=null
STATE)State of parameter -config
SIGNAL)Signal for state config
GET)Getter for state config
input
::=null
output
::=string
SET)Setter for state config
input
::=string
output
::=null
STATE)State of parameter -cache
SIGNAL)Signal for state cache
GET)Getter for state cache
input
::=null
output
::=string
SET)Setter for state cache
input
::=string
output
::=null
STATE)State of parameter -save
SIGNAL)Signal for state save
GET)Getter for state save
input
::=null
output
::=string
SET)Setter for state save
input
::=string
output
::=null
STATE)State of parameter -json-compilation-database
SIGNAL)Signal for state jsonCompilationDatabase
GET)Getter for state jsonCompilationDatabase
input
::=null
output
::=string
SET)Setter for state jsonCompilationDatabase
input
::=string
output
::=null
STATE)State of parameter -c11
SIGNAL)Signal for state c11
GET)Getter for state c11
input
::=null
output
::=boolean
SET)Setter for state c11
input
::=boolean
output
::=null
STATE)State of parameter -orig-name
SIGNAL)Signal for state origName
GET)Getter for state origName
input
::=null
output
::=boolean
SET)Setter for state origName
input
::=boolean
output
::=null
STATE)State of parameter -frama-c-stdlib
SIGNAL)Signal for state framaCStdlib
GET)Getter for state framaCStdlib
input
::=null
output
::=boolean
SET)Setter for state framaCStdlib
input
::=boolean
output
::=null
STATE)State of parameter -audit-check
SIGNAL)Signal for state auditCheck
GET)Getter for state auditCheck
input
::=null
output
::=string
SET)Setter for state auditCheck
input
::=string
output
::=null
STATE)State of parameter -audit-prepare
SIGNAL)Signal for state auditPrepare
GET)Getter for state auditPrepare
input
::=null
output
::=string
SET)Setter for state auditPrepare
input
::=string
output
::=null
STATE)State of parameter -print-cpp-commands
SIGNAL)Signal for state printCppCommands
GET)Getter for state printCppCommands
input
::=null
output
::=boolean
SET)Setter for state printCppCommands
input
::=boolean
output
::=null
STATE)State of parameter -cpp-frama-c-compliant
SIGNAL)Signal for state cppFramaCCompliant
GET)Getter for state cppFramaCCompliant
input
::=null
output
::=boolean
SET)Setter for state cppFramaCCompliant
input
::=boolean
output
::=null
STATE)State of parameter -cpp-extra-args-per-file
SIGNAL)Signal for state cppExtraArgsPerFile
GET)Getter for state cppExtraArgsPerFile
input
::=null
output
::=string
SET)Setter for state cppExtraArgsPerFile
input
::=string
output
::=null
STATE)State of parameter -cpp-extra-args
SIGNAL)Signal for state cppExtraArgs
GET)Getter for state cppExtraArgs
input
::=null
output
::=string
SET)Setter for state cppExtraArgs
input
::=string
output
::=null
STATE)State of parameter -cpp-command
SIGNAL)Signal for state cppCommand
GET)Getter for state cppCommand
input
::=null
output
::=string
SET)Setter for state cppCommand
input
::=string
output
::=null
STATE)State of parameter -pp-annot
SIGNAL)Signal for state ppAnnot
GET)Getter for state ppAnnot
input
::=null
output
::=boolean
SET)Setter for state ppAnnot
input
::=boolean
output
::=null
STATE)State of parameter -annot
SIGNAL)Signal for state annot
GET)Getter for state annot
input
::=null
output
::=boolean
SET)Setter for state annot
input
::=boolean
output
::=null
STATE)State of parameter -warn-invalid-pointer
SIGNAL)Signal for state warnInvalidPointer
GET)Getter for state warnInvalidPointer
input
::=null
output
::=boolean
SET)Setter for state warnInvalidPointer
input
::=boolean
output
::=null
STATE)State of parameter -warn-invalid-bool
SIGNAL)Signal for state warnInvalidBool
GET)Getter for state warnInvalidBool
input
::=null
output
::=boolean
SET)Setter for state warnInvalidBool
input
::=boolean
output
::=null
STATE)State of parameter -warn-special-float
SIGNAL)Signal for state warnSpecialFloat
GET)Getter for state warnSpecialFloat
input
::=null
output
::=string
SET)Setter for state warnSpecialFloat
input
::=string
output
::=null
STATE)State of parameter -warn-pointer-downcast
SIGNAL)Signal for state warnPointerDowncast
GET)Getter for state warnPointerDowncast
input
::=null
output
::=boolean
SET)Setter for state warnPointerDowncast
input
::=boolean
output
::=null
STATE)State of parameter -warn-unsigned-downcast
SIGNAL)Signal for state warnUnsignedDowncast
GET)Getter for state warnUnsignedDowncast
input
::=null
output
::=boolean
SET)Setter for state warnUnsignedDowncast
input
::=boolean
output
::=null
STATE)State of parameter -warn-signed-downcast
SIGNAL)Signal for state warnSignedDowncast
GET)Getter for state warnSignedDowncast
input
::=null
output
::=boolean
SET)Setter for state warnSignedDowncast
input
::=boolean
output
::=null
STATE)State of parameter -warn-right-shift-negative
SIGNAL)Signal for state warnRightShiftNegative
GET)Getter for state warnRightShiftNegative
input
::=null
output
::=boolean
SET)Setter for state warnRightShiftNegative
input
::=boolean
output
::=null
STATE)State of parameter -warn-left-shift-negative
SIGNAL)Signal for state warnLeftShiftNegative
GET)Getter for state warnLeftShiftNegative
input
::=null
output
::=boolean
SET)Setter for state warnLeftShiftNegative
input
::=boolean
output
::=null
STATE)State of parameter -warn-unsigned-overflow
SIGNAL)Signal for state warnUnsignedOverflow
GET)Getter for state warnUnsignedOverflow
input
::=null
output
::=boolean
SET)Setter for state warnUnsignedOverflow
input
::=boolean
output
::=null
STATE)State of parameter -warn-signed-overflow
SIGNAL)Signal for state warnSignedOverflow
GET)Getter for state warnSignedOverflow
input
::=null
output
::=boolean
SET)Setter for state warnSignedOverflow
input
::=boolean
output
::=null
STATE)State of parameter -absolute-valid-range
SIGNAL)Signal for state absoluteValidRange
GET)Getter for state absoluteValidRange
input
::=null
output
::=string
SET)Setter for state absoluteValidRange
input
::=string
output
::=null
STATE)State of parameter -safe-arrays
SIGNAL)Signal for state safeArrays
GET)Getter for state safeArrays
input
::=null
output
::=boolean
SET)Setter for state safeArrays
input
::=boolean
output
::=null
STATE)State of parameter -unspecified-access
SIGNAL)Signal for state unspecifiedAccess
GET)Getter for state unspecifiedAccess
input
::=null
output
::=boolean
SET)Setter for state unspecifiedAccess
input
::=boolean
output
::=null
STATE)State of parameter -lib-entry
SIGNAL)Signal for state libEntry
GET)Getter for state libEntry
input
::=null
output
::=boolean
SET)Setter for state libEntry
input
::=boolean
output
::=null
STATE)State of parameter -main
SIGNAL)Signal for state main
GET)Getter for state main
input
::=null
output
::=string
SET)Setter for state main
input
::=string
output
::=null
STATE)State of parameter -remove-inlined
SIGNAL)Signal for state removeInlined
GET)Getter for state removeInlined
input
::=null
output
::=string
SET)Setter for state removeInlined
input
::=string
output
::=null
STATE)State of parameter -inline-calls
SIGNAL)Signal for state inlineCalls
GET)Getter for state inlineCalls
input
::=null
output
::=string
SET)Setter for state inlineCalls
input
::=string
output
::=null
STATE)State of parameter -generated-spec-custom
SIGNAL)Signal for state generatedSpecCustom
GET)Getter for state generatedSpecCustom
input
::=null
output
::=string
SET)Setter for state generatedSpecCustom
input
::=string
output
::=null
STATE)State of parameter -generated-spec-mode
SIGNAL)Signal for state generatedSpecMode
GET)Getter for state generatedSpecMode
input
::=null
output
::=string
SET)Setter for state generatedSpecMode
input
::=string
output
::=null
STATE)State of parameter -collapse-call-cast
SIGNAL)Signal for state collapseCallCast
GET)Getter for state collapseCallCast
input
::=null
output
::=boolean
SET)Setter for state collapseCallCast
input
::=boolean
output
::=null
STATE)State of parameter -allow-duplication
SIGNAL)Signal for state allowDuplication
GET)Getter for state allowDuplication
input
::=null
output
::=boolean
SET)Setter for state allowDuplication
input
::=boolean
output
::=null
STATE)State of parameter -remove-exn
SIGNAL)Signal for state removeExn
GET)Getter for state removeExn
input
::=null
output
::=boolean
SET)Setter for state removeExn
input
::=boolean
output
::=null
STATE)State of parameter -inline-stmt-contracts
SIGNAL)Signal for state inlineStmtContracts
GET)Getter for state inlineStmtContracts
input
::=null
output
::=boolean
SET)Setter for state inlineStmtContracts
input
::=boolean
output
::=null
STATE)State of parameter -asm-contracts-auto-validate
SIGNAL)Signal for state asmContractsAutoValidate
GET)Getter for state asmContractsAutoValidate
input
::=null
output
::=boolean
SET)Setter for state asmContractsAutoValidate
input
::=boolean
output
::=null
STATE)State of parameter -asm-contracts-ensure-init
SIGNAL)Signal for state asmContractsEnsureInit
GET)Getter for state asmContractsEnsureInit
input
::=null
output
::=boolean
SET)Setter for state asmContractsEnsureInit
input
::=boolean
output
::=null
STATE)State of parameter -asm-contracts
SIGNAL)Signal for state asmContracts
GET)Getter for state asmContracts
input
::=null
output
::=boolean
SET)Setter for state asmContracts
input
::=boolean
output
::=null
STATE)State of parameter -aggressive-merging
SIGNAL)Signal for state aggressiveMerging
GET)Getter for state aggressiveMerging
input
::=null
output
::=boolean
SET)Setter for state aggressiveMerging
input
::=boolean
output
::=null
STATE)State of parameter -initialized-padding-locals
SIGNAL)Signal for state initializedPaddingLocals
GET)Getter for state initializedPaddingLocals
input
::=null
output
::=boolean
SET)Setter for state initializedPaddingLocals
input
::=boolean
output
::=null
STATE)State of parameter -constfold
SIGNAL)Signal for state constfold
GET)Getter for state constfold
input
::=null
output
::=boolean
SET)Setter for state constfold
input
::=boolean
output
::=null
STATE)State of parameter -simplify-trivial-loops
SIGNAL)Signal for state simplifyTrivialLoops
GET)Getter for state simplifyTrivialLoops
input
::=null
output
::=boolean
SET)Setter for state simplifyTrivialLoops
input
::=boolean
output
::=null
STATE)State of parameter -keep-unused-types
SIGNAL)Signal for state keepUnusedTypes
GET)Getter for state keepUnusedTypes
input
::=null
output
::=boolean
SET)Setter for state keepUnusedTypes
input
::=boolean
output
::=null
STATE)State of parameter -keep-unused-functions
SIGNAL)Signal for state keepUnusedFunctions
GET)Getter for state keepUnusedFunctions
input
::=null
output
::=string
SET)Setter for state keepUnusedFunctions
input
::=string
output
::=null
STATE)State of parameter -keep-switch
SIGNAL)Signal for state keepSwitch
GET)Getter for state keepSwitch
input
::=null
output
::=boolean
SET)Setter for state keepSwitch
input
::=boolean
output
::=null
STATE)State of parameter -simplify-cfg
SIGNAL)Signal for state simplifyCfg
GET)Getter for state simplifyCfg
input
::=null
output
::=boolean
SET)Setter for state simplifyCfg
input
::=boolean
output
::=null
STATE)State of parameter -enums
SIGNAL)Signal for state enums
GET)Getter for state enums
input
::=null
output
::=string
SET)Setter for state enums
input
::=string
output
::=null
STATE)State of parameter -ulevel-force
SIGNAL)Signal for state ulevelForce
GET)Getter for state ulevelForce
input
::=null
output
::=boolean
SET)Setter for state ulevelForce
input
::=boolean
output
::=null
STATE)State of parameter -ulevel
SIGNAL)Signal for state ulevel
GET)Getter for state ulevel
input
::=null
output
::=number
SET)Setter for state ulevel
input
::=number
output
::=null
STATE)State of parameter -eva-precision
SIGNAL)Signal for state evaPrecision
GET)Getter for state evaPrecision
input
::=null
output
::=number
SET)Setter for state evaPrecision
input
::=number
output
::=null
STATE)State of parameter -eva
SIGNAL)Signal for state eva
GET)Getter for state eva
input
::=null
output
::=boolean
SET)Setter for state eva
input
::=boolean
output
::=null
STATE)State of parameter -eva-join-results
SIGNAL)Signal for state evaJoinResults
GET)Getter for state evaJoinResults
input
::=null
output
::=boolean
SET)Setter for state evaJoinResults
input
::=boolean
output
::=null
STATE)State of parameter -eva-results
SIGNAL)Signal for state evaResults
GET)Getter for state evaResults
input
::=null
output
::=boolean
SET)Setter for state evaResults
input
::=boolean
output
::=null
STATE)State of parameter -eva-no-results-function
SIGNAL)Signal for state evaNoResultsFunction
GET)Getter for state evaNoResultsFunction
input
::=null
output
::=string
SET)Setter for state evaNoResultsFunction
input
::=string
output
::=null
STATE)State of parameter -eva-no-results-domain
SIGNAL)Signal for state evaNoResultsDomain
GET)Getter for state evaNoResultsDomain
input
::=null
output
::=string
SET)Setter for state evaNoResultsDomain
input
::=string
output
::=null
STATE)State of parameter -eva-reduction-depth
SIGNAL)Signal for state evaReductionDepth
GET)Getter for state evaReductionDepth
input
::=null
output
::=number
SET)Setter for state evaReductionDepth
input
::=number
output
::=null
STATE)State of parameter -eva-oracle-depth
SIGNAL)Signal for state evaOracleDepth
GET)Getter for state evaOracleDepth
input
::=null
output
::=number
SET)Setter for state evaOracleDepth
input
::=number
output
::=null
STATE)State of parameter -eva-enumerate-cond
SIGNAL)Signal for state evaEnumerateCond
GET)Getter for state evaEnumerateCond
input
::=null
output
::=boolean
SET)Setter for state evaEnumerateCond
input
::=boolean
output
::=null
STATE)State of parameter -eva-plevel
SIGNAL)Signal for state evaPlevel
GET)Getter for state evaPlevel
input
::=null
output
::=number
SET)Setter for state evaPlevel
input
::=number
output
::=null
STATE)State of parameter -eva-memexec
SIGNAL)Signal for state evaMemexec
GET)Getter for state evaMemexec
input
::=null
output
::=boolean
SET)Setter for state evaMemexec
input
::=boolean
output
::=null
STATE)State of parameter -eva-remove-redundant-alarms
SIGNAL)Signal for state evaRemoveRedundantAlarms
GET)Getter for state evaRemoveRedundantAlarms
input
::=null
output
::=boolean
SET)Setter for state evaRemoveRedundantAlarms
input
::=boolean
output
::=null
STATE)State of parameter -eva-skip-stdlib-specs
SIGNAL)Signal for state evaSkipStdlibSpecs
GET)Getter for state evaSkipStdlibSpecs
input
::=null
output
::=boolean
SET)Setter for state evaSkipStdlibSpecs
input
::=boolean
output
::=null
STATE)State of parameter -eva-use-spec
SIGNAL)Signal for state evaUseSpec
GET)Getter for state evaUseSpec
input
::=null
output
::=string
SET)Setter for state evaUseSpec
input
::=string
output
::=null
STATE)State of parameter -eva-subdivide-non-linear-function
SIGNAL)Signal for state evaSubdivideNonLinearFunction
GET)Getter for state evaSubdivideNonLinearFunction
input
::=null
output
::=string
SET)Setter for state evaSubdivideNonLinearFunction
input
::=string
output
::=null
STATE)State of parameter -eva-subdivide-non-linear
SIGNAL)Signal for state evaSubdivideNonLinear
GET)Getter for state evaSubdivideNonLinear
input
::=null
output
::=number
SET)Setter for state evaSubdivideNonLinear
input
::=number
output
::=null
STATE)State of parameter -eva-builtins-list
SIGNAL)Signal for state evaBuiltinsList
GET)Getter for state evaBuiltinsList
input
::=null
output
::=boolean
SET)Setter for state evaBuiltinsList
input
::=boolean
output
::=null
STATE)State of parameter -eva-builtins-auto
SIGNAL)Signal for state evaBuiltinsAuto
GET)Getter for state evaBuiltinsAuto
input
::=null
output
::=boolean
SET)Setter for state evaBuiltinsAuto
input
::=boolean
output
::=null
STATE)State of parameter -eva-builtin
SIGNAL)Signal for state evaBuiltin
GET)Getter for state evaBuiltin
input
::=null
output
::=string
SET)Setter for state evaBuiltin
input
::=string
output
::=null
STATE)State of parameter -eva-ilevel
SIGNAL)Signal for state evaIlevel
GET)Getter for state evaIlevel
input
::=null
output
::=number
SET)Setter for state evaIlevel
input
::=number
output
::=null
STATE)State of parameter -eva-split-return
SIGNAL)Signal for state evaSplitReturn
GET)Getter for state evaSplitReturn
input
::=null
output
::=string
SET)Setter for state evaSplitReturn
input
::=string
output
::=null
STATE)State of parameter -eva-split-return-function
SIGNAL)Signal for state evaSplitReturnFunction
GET)Getter for state evaSplitReturnFunction
input
::=null
output
::=string
SET)Setter for state evaSplitReturnFunction
input
::=string
output
::=null
STATE)State of parameter -eva-interprocedural-history
SIGNAL)Signal for state evaInterproceduralHistory
GET)Getter for state evaInterproceduralHistory
input
::=null
output
::=boolean
SET)Setter for state evaInterproceduralHistory
input
::=boolean
output
::=null
STATE)State of parameter -eva-interprocedural-splits
SIGNAL)Signal for state evaInterproceduralSplits
GET)Getter for state evaInterproceduralSplits
input
::=null
output
::=boolean
SET)Setter for state evaInterproceduralSplits
input
::=boolean
output
::=null
STATE)State of parameter -eva-split-limit
SIGNAL)Signal for state evaSplitLimit
GET)Getter for state evaSplitLimit
input
::=null
output
::=number
SET)Setter for state evaSplitLimit
input
::=number
output
::=null
STATE)State of parameter -eva-partition-value
SIGNAL)Signal for state evaPartitionValue
GET)Getter for state evaPartitionValue
input
::=null
output
::=string
SET)Setter for state evaPartitionValue
input
::=string
output
::=null
STATE)State of parameter -eva-partition-history
SIGNAL)Signal for state evaPartitionHistory
GET)Getter for state evaPartitionHistory
input
::=null
output
::=number
SET)Setter for state evaPartitionHistory
input
::=number
output
::=null
STATE)State of parameter -eva-default-loop-unroll
SIGNAL)Signal for state evaDefaultLoopUnroll
GET)Getter for state evaDefaultLoopUnroll
input
::=null
output
::=number
SET)Setter for state evaDefaultLoopUnroll
input
::=number
output
::=null
STATE)State of parameter -eva-auto-loop-unroll
SIGNAL)Signal for state evaAutoLoopUnroll
GET)Getter for state evaAutoLoopUnroll
input
::=null
output
::=number
SET)Setter for state evaAutoLoopUnroll
input
::=number
output
::=null
STATE)State of parameter -eva-min-loop-unroll
SIGNAL)Signal for state evaMinLoopUnroll
GET)Getter for state evaMinLoopUnroll
input
::=null
output
::=number
SET)Setter for state evaMinLoopUnroll
input
::=number
output
::=null
STATE)State of parameter -eva-slevel-merge-after-loop
SIGNAL)Signal for state evaSlevelMergeAfterLoop
GET)Getter for state evaSlevelMergeAfterLoop
input
::=null
output
::=string
SET)Setter for state evaSlevelMergeAfterLoop
input
::=string
output
::=null
STATE)State of parameter -eva-slevel-function
SIGNAL)Signal for state evaSlevelFunction
GET)Getter for state evaSlevelFunction
input
::=null
output
::=string
SET)Setter for state evaSlevelFunction
input
::=string
output
::=null
STATE)State of parameter -eva-slevel
SIGNAL)Signal for state evaSlevel
GET)Getter for state evaSlevel
input
::=null
output
::=number
SET)Setter for state evaSlevel
input
::=number
output
::=null
STATE)State of parameter -eva-unroll-recursive-calls
SIGNAL)Signal for state evaUnrollRecursiveCalls
GET)Getter for state evaUnrollRecursiveCalls
input
::=null
output
::=number
SET)Setter for state evaUnrollRecursiveCalls
input
::=number
output
::=null
STATE)State of parameter -eva-widening-period
SIGNAL)Signal for state evaWideningPeriod
GET)Getter for state evaWideningPeriod
input
::=null
output
::=number
SET)Setter for state evaWideningPeriod
input
::=number
output
::=null
STATE)State of parameter -eva-widening-delay
SIGNAL)Signal for state evaWideningDelay
GET)Getter for state evaWideningDelay
input
::=null
output
::=number
SET)Setter for state evaWideningDelay
input
::=number
output
::=null
STATE)State of parameter -eva-force-print-summary
SIGNAL)Signal for state evaForcePrintSummary
GET)Getter for state evaForcePrintSummary
input
::=null
output
::=boolean
SET)Setter for state evaForcePrintSummary
input
::=boolean
output
::=null
STATE)State of parameter -eva-statistics-file
SIGNAL)Signal for state evaStatisticsFile
GET)Getter for state evaStatisticsFile
input
::=null
output
::=string
SET)Setter for state evaStatisticsFile
input
::=string
output
::=null
STATE)State of parameter -eva-numerors-log-file
SIGNAL)Signal for state evaNumerorsLogFile
GET)Getter for state evaNumerorsLogFile
input
::=null
output
::=string
SET)Setter for state evaNumerorsLogFile
input
::=string
output
::=null
STATE)State of parameter -eva-report-red-statuses
SIGNAL)Signal for state evaReportRedStatuses
GET)Getter for state evaReportRedStatuses
input
::=null
output
::=string
SET)Setter for state evaReportRedStatuses
input
::=string
output
::=null
STATE)State of parameter -eva-print-callstacks
SIGNAL)Signal for state evaPrintCallstacks
GET)Getter for state evaPrintCallstacks
input
::=null
output
::=boolean
SET)Setter for state evaPrintCallstacks
input
::=boolean
output
::=null
STATE)State of parameter -eva-show-slevel
SIGNAL)Signal for state evaShowSlevel
GET)Getter for state evaShowSlevel
input
::=null
output
::=number
SET)Setter for state evaShowSlevel
input
::=number
output
::=null
STATE)State of parameter -eva-flamegraph
SIGNAL)Signal for state evaFlamegraph
GET)Getter for state evaFlamegraph
input
::=null
output
::=string
SET)Setter for state evaFlamegraph
input
::=string
output
::=null
STATE)State of parameter -eva-show-perf
SIGNAL)Signal for state evaShowPerf
GET)Getter for state evaShowPerf
input
::=null
output
::=boolean
SET)Setter for state evaShowPerf
input
::=boolean
output
::=null
STATE)State of parameter -eva-show-progress
SIGNAL)Signal for state evaShowProgress
GET)Getter for state evaShowProgress
input
::=null
output
::=boolean
SET)Setter for state evaShowProgress
input
::=boolean
output
::=null
STATE)State of parameter -eva-print
SIGNAL)Signal for state evaPrint
GET)Getter for state evaPrint
input
::=null
output
::=boolean
SET)Setter for state evaPrint
input
::=boolean
output
::=null
STATE)State of parameter -eva-warn-key
SIGNAL)Signal for state evaWarnKey
GET)Getter for state evaWarnKey
input
::=null
output
::=string
SET)Setter for state evaWarnKey
input
::=string
output
::=null
STATE)State of parameter -eva-msg-key
SIGNAL)Signal for state evaMsgKey
GET)Getter for state evaMsgKey
input
::=null
output
::=string
SET)Setter for state evaMsgKey
input
::=string
output
::=null
STATE)State of parameter -eva-debug
SIGNAL)Signal for state evaDebug
GET)Getter for state evaDebug
input
::=null
output
::=number
SET)Setter for state evaDebug
input
::=number
output
::=null
STATE)State of parameter -eva-verbose
SIGNAL)Signal for state evaVerbose
GET)Getter for state evaVerbose
input
::=null
output
::=number
SET)Setter for state evaVerbose
input
::=number
output
::=null
STATE)State of parameter -eva-log
SIGNAL)Signal for state evaLog
GET)Getter for state evaLog
input
::=null
output
::=string
SET)Setter for state evaLog
input
::=string
output
::=null
STATE)State of parameter -eva-initialization-padding-globals
SIGNAL)Signal for state evaInitializationPaddingGlobals
GET)Getter for state evaInitializationPaddingGlobals
input
::=null
output
::=string
SET)Setter for state evaInitializationPaddingGlobals
input
::=string
output
::=null
STATE)State of parameter -eva-context-valid-pointers
SIGNAL)Signal for state evaContextValidPointers
GET)Getter for state evaContextValidPointers
input
::=null
output
::=boolean
SET)Setter for state evaContextValidPointers
input
::=boolean
output
::=null
STATE)State of parameter -eva-context-width
SIGNAL)Signal for state evaContextWidth
GET)Getter for state evaContextWidth
input
::=null
output
::=number
SET)Setter for state evaContextWidth
input
::=number
output
::=null
STATE)State of parameter -eva-context-depth
SIGNAL)Signal for state evaContextDepth
GET)Getter for state evaContextDepth
input
::=null
output
::=number
SET)Setter for state evaContextDepth
input
::=number
output
::=null
STATE)State of parameter -eva-mlevel
SIGNAL)Signal for state evaMlevel
GET)Getter for state evaMlevel
input
::=null
output
::=number
SET)Setter for state evaMlevel
input
::=number
output
::=null
STATE)State of parameter -eva-alloc-returns-null
SIGNAL)Signal for state evaAllocReturnsNull
GET)Getter for state evaAllocReturnsNull
input
::=null
output
::=boolean
SET)Setter for state evaAllocReturnsNull
input
::=boolean
output
::=null
STATE)State of parameter -eva-alloc-functions
SIGNAL)Signal for state evaAllocFunctions
GET)Getter for state evaAllocFunctions
input
::=null
output
::=string
SET)Setter for state evaAllocFunctions
input
::=string
output
::=null
STATE)State of parameter -eva-alloc-builtin
SIGNAL)Signal for state evaAllocBuiltin
GET)Getter for state evaAllocBuiltin
input
::=null
output
::=string
SET)Setter for state evaAllocBuiltin
input
::=string
output
::=null
STATE)State of parameter -eva-initialized-locals
SIGNAL)Signal for state evaInitializedLocals
GET)Getter for state evaInitializedLocals
input
::=null
output
::=boolean
SET)Setter for state evaInitializedLocals
input
::=boolean
output
::=null
STATE)State of parameter -eva-reduce-on-logic-alarms
SIGNAL)Signal for state evaReduceOnLogicAlarms
GET)Getter for state evaReduceOnLogicAlarms
input
::=null
output
::=boolean
SET)Setter for state evaReduceOnLogicAlarms
input
::=boolean
output
::=null
STATE)State of parameter -eva-warn-copy-indeterminate
SIGNAL)Signal for state evaWarnCopyIndeterminate
GET)Getter for state evaWarnCopyIndeterminate
input
::=null
output
::=string
SET)Setter for state evaWarnCopyIndeterminate
input
::=string
output
::=null
STATE)State of parameter -eva-warn-pointer-subtraction
SIGNAL)Signal for state evaWarnPointerSubtraction
GET)Getter for state evaWarnPointerSubtraction
input
::=null
output
::=boolean
SET)Setter for state evaWarnPointerSubtraction
input
::=boolean
output
::=null
STATE)State of parameter -eva-warn-signed-converted-downcast
SIGNAL)Signal for state evaWarnSignedConvertedDowncast
GET)Getter for state evaWarnSignedConvertedDowncast
input
::=null
output
::=boolean
SET)Setter for state evaWarnSignedConvertedDowncast
input
::=boolean
output
::=null
STATE)State of parameter -eva-warn-undefined-pointer-comparison
SIGNAL)Signal for state evaWarnUndefinedPointerComparison
GET)Getter for state evaWarnUndefinedPointerComparison
input
::=null
output
::=string
SET)Setter for state evaWarnUndefinedPointerComparison
input
::=string
output
::=null
STATE)State of parameter -eva-undefined-pointer-comparison-propagate-all
SIGNAL)Signal for state evaUndefinedPointerComparisonPropagateAll
GET)Getter for state evaUndefinedPointerComparisonPropagateAll
input
::=null
output
::=boolean
SET)Setter for state evaUndefinedPointerComparisonPropagateAll
input
::=boolean
output
::=null
STATE)State of parameter -eva-multidim-disjunctive-invariants
SIGNAL)Signal for state evaMultidimDisjunctiveInvariants
GET)Getter for state evaMultidimDisjunctiveInvariants
input
::=null
output
::=boolean
SET)Setter for state evaMultidimDisjunctiveInvariants
input
::=boolean
output
::=null
STATE)State of parameter -eva-multidim-segment-limit
SIGNAL)Signal for state evaMultidimSegmentLimit
GET)Getter for state evaMultidimSegmentLimit
input
::=null
output
::=number
SET)Setter for state evaMultidimSegmentLimit
input
::=number
output
::=null
STATE)State of parameter -eva-traces-project
SIGNAL)Signal for state evaTracesProject
GET)Getter for state evaTracesProject
input
::=null
output
::=boolean
SET)Setter for state evaTracesProject
input
::=boolean
output
::=null
STATE)State of parameter -eva-traces-dot
SIGNAL)Signal for state evaTracesDot
GET)Getter for state evaTracesDot
input
::=null
output
::=string
SET)Setter for state evaTracesDot
input
::=string
output
::=null
STATE)State of parameter -eva-traces-unify-loop
SIGNAL)Signal for state evaTracesUnifyLoop
GET)Getter for state evaTracesUnifyLoop
input
::=null
output
::=boolean
SET)Setter for state evaTracesUnifyLoop
input
::=boolean
output
::=null
STATE)State of parameter -eva-traces-unroll-loop
SIGNAL)Signal for state evaTracesUnrollLoop
GET)Getter for state evaTracesUnrollLoop
input
::=null
output
::=boolean
SET)Setter for state evaTracesUnrollLoop
input
::=boolean
output
::=null
STATE)State of parameter -eva-numerors-interaction
SIGNAL)Signal for state evaNumerorsInteraction
GET)Getter for state evaNumerorsInteraction
input
::=null
output
::=string
SET)Setter for state evaNumerorsInteraction
input
::=string
output
::=null
STATE)State of parameter -eva-numerors-real-size
SIGNAL)Signal for state evaNumerorsRealSize
GET)Getter for state evaNumerorsRealSize
input
::=null
output
::=number
SET)Setter for state evaNumerorsRealSize
input
::=number
output
::=null
STATE)State of parameter -eva-octagon-through-calls
SIGNAL)Signal for state evaOctagonThroughCalls
GET)Getter for state evaOctagonThroughCalls
input
::=null
output
::=boolean
SET)Setter for state evaOctagonThroughCalls
input
::=boolean
output
::=null
STATE)State of parameter -eva-equality-through-calls-function
SIGNAL)Signal for state evaEqualityThroughCallsFunction
GET)Getter for state evaEqualityThroughCallsFunction
input
::=null
output
::=string
SET)Setter for state evaEqualityThroughCallsFunction
input
::=string
output
::=null
STATE)State of parameter -eva-equality-through-calls
SIGNAL)Signal for state evaEqualityThroughCalls
GET)Getter for state evaEqualityThroughCalls
input
::=null
output
::=string
SET)Setter for state evaEqualityThroughCalls
input
::=string
output
::=null
STATE)State of parameter -eva-domains-function
SIGNAL)Signal for state evaDomainsFunction
GET)Getter for state evaDomainsFunction
input
::=null
output
::=string
SET)Setter for state evaDomainsFunction
input
::=string
output
::=null
STATE)State of parameter -eva-domains
SIGNAL)Signal for state evaDomains
GET)Getter for state evaDomains
input
::=null
output
::=string
SET)Setter for state evaDomains
input
::=string
output
::=null
STATE)State of parameter -eva-stop-at-nth-alarm
SIGNAL)Signal for state evaStopAtNthAlarm
GET)Getter for state evaStopAtNthAlarm
input
::=null
output
::=number
SET)Setter for state evaStopAtNthAlarm
input
::=number
output
::=null
STATE)State of parameter -eva-interpreter-mode
SIGNAL)Signal for state evaInterpreterMode
GET)Getter for state evaInterpreterMode
input
::=null
output
::=boolean
SET)Setter for state evaInterpreterMode
input
::=boolean
output
::=null
STATE)State of parameter -wp-counter-examples
SIGNAL)Signal for state wpCounterExamples
GET)Getter for state wpCounterExamples
input
::=null
output
::=boolean
SET)Setter for state wpCounterExamples
input
::=boolean
output
::=null
STATE)State of parameter -wp-probes
SIGNAL)Signal for state wpProbes
GET)Getter for state wpProbes
input
::=null
output
::=boolean
SET)Setter for state wpProbes
input
::=boolean
output
::=null
STATE)State of parameter -wp-tactic
SIGNAL)Signal for state wpTactic
GET)Getter for state wpTactic
input
::=null
output
::=string
SET)Setter for state wpTactic
input
::=string
output
::=null
STATE)State of parameter -wp-session
SIGNAL)Signal for state wpSession
GET)Getter for state wpSession
input
::=null
output
::=string
SET)Setter for state wpSession
input
::=string
output
::=null
STATE)State of parameter -wp-share
SIGNAL)Signal for state wpShare
GET)Getter for state wpShare
input
::=null
output
::=string
SET)Setter for state wpShare
input
::=string
output
::=null
STATE)State of parameter -wp-out
SIGNAL)Signal for state wpOut
GET)Getter for state wpOut
input
::=null
output
::=string
SET)Setter for state wpOut
input
::=string
output
::=null
STATE)State of parameter -wp-check-memory-model
SIGNAL)Signal for state wpCheckMemoryModel
GET)Getter for state wpCheckMemoryModel
input
::=null
output
::=boolean
SET)Setter for state wpCheckMemoryModel
input
::=boolean
output
::=null
STATE)State of parameter -wp-warn-memory-model
SIGNAL)Signal for state wpWarnMemoryModel
GET)Getter for state wpWarnMemoryModel
input
::=null
output
::=boolean
SET)Setter for state wpWarnMemoryModel
input
::=boolean
output
::=null
STATE)State of parameter -wp-report-basename
SIGNAL)Signal for state wpReportBasename
GET)Getter for state wpReportBasename
input
::=null
output
::=string
SET)Setter for state wpReportBasename
input
::=string
output
::=null
STATE)State of parameter -wp-deprecated-report-json
SIGNAL)Signal for state wpDeprecatedReportJson
GET)Getter for state wpDeprecatedReportJson
input
::=null
output
::=string
SET)Setter for state wpDeprecatedReportJson
input
::=string
output
::=null
STATE)State of parameter -wp-report-json
SIGNAL)Signal for state wpReportJson
GET)Getter for state wpReportJson
input
::=null
output
::=string
SET)Setter for state wpReportJson
input
::=string
output
::=null
STATE)State of parameter -wp-report
SIGNAL)Signal for state wpReport
GET)Getter for state wpReport
input
::=null
output
::=string
SET)Setter for state wpReport
input
::=string
output
::=null
STATE)State of parameter -wp-status
SIGNAL)Signal for state wpStatus
GET)Getter for state wpStatus
input
::=null
output
::=boolean
SET)Setter for state wpStatus
input
::=boolean
output
::=null
STATE)State of parameter -wp-print
SIGNAL)Signal for state wpPrint
GET)Getter for state wpPrint
input
::=null
output
::=boolean
SET)Setter for state wpPrint
input
::=boolean
output
::=null
STATE)State of parameter -wp-filename-truncation
SIGNAL)Signal for state wpFilenameTruncation
GET)Getter for state wpFilenameTruncation
input
::=null
output
::=number
SET)Setter for state wpFilenameTruncation
input
::=number
output
::=null
STATE)State of parameter -wp-variant-with-terminates
SIGNAL)Signal for state wpVariantWithTerminates
GET)Getter for state wpVariantWithTerminates
input
::=null
output
::=boolean
SET)Setter for state wpVariantWithTerminates
input
::=boolean
output
::=null
STATE)State of parameter -wp-precond-weakening
SIGNAL)Signal for state wpPrecondWeakening
GET)Getter for state wpPrecondWeakening
input
::=null
output
::=boolean
SET)Setter for state wpPrecondWeakening
input
::=boolean
output
::=null
STATE)State of parameter -wp-unfold-assigns
SIGNAL)Signal for state wpUnfoldAssigns
GET)Getter for state wpUnfoldAssigns
input
::=null
output
::=number
SET)Setter for state wpUnfoldAssigns
input
::=number
output
::=null
STATE)State of parameter -wp-max-split
SIGNAL)Signal for state wpMaxSplit
GET)Getter for state wpMaxSplit
input
::=null
output
::=number
SET)Setter for state wpMaxSplit
input
::=number
output
::=null
STATE)State of parameter -wp-split-cnf
SIGNAL)Signal for state wpSplitCnf
GET)Getter for state wpSplitCnf
input
::=null
output
::=number
SET)Setter for state wpSplitCnf
input
::=number
output
::=null
STATE)State of parameter -wp-split-conj
SIGNAL)Signal for state wpSplitConj
GET)Getter for state wpSplitConj
input
::=null
output
::=boolean
SET)Setter for state wpSplitConj
input
::=boolean
output
::=null
STATE)State of parameter -wp-split-switch
SIGNAL)Signal for state wpSplitSwitch
GET)Getter for state wpSplitSwitch
input
::=null
output
::=boolean
SET)Setter for state wpSplitSwitch
input
::=boolean
output
::=null
STATE)State of parameter -wp-split
SIGNAL)Signal for state wpSplit
GET)Getter for state wpSplit
input
::=null
output
::=boolean
SET)Setter for state wpSplit
input
::=boolean
output
::=null
STATE)State of parameter -wp-smoke-dead-loop
SIGNAL)Signal for state wpSmokeDeadLoop
GET)Getter for state wpSmokeDeadLoop
input
::=null
output
::=boolean
SET)Setter for state wpSmokeDeadLoop
input
::=boolean
output
::=null
STATE)State of parameter -wp-smoke-dead-local-init
SIGNAL)Signal for state wpSmokeDeadLocalInit
GET)Getter for state wpSmokeDeadLocalInit
input
::=null
output
::=boolean
SET)Setter for state wpSmokeDeadLocalInit
input
::=boolean
output
::=null
STATE)State of parameter -wp-smoke-dead-call
SIGNAL)Signal for state wpSmokeDeadCall
GET)Getter for state wpSmokeDeadCall
input
::=null
output
::=boolean
SET)Setter for state wpSmokeDeadCall
input
::=boolean
output
::=null
STATE)State of parameter -wp-smoke-dead-code
SIGNAL)Signal for state wpSmokeDeadCode
GET)Getter for state wpSmokeDeadCode
input
::=null
output
::=boolean
SET)Setter for state wpSmokeDeadCode
input
::=boolean
output
::=null
STATE)State of parameter -wp-smoke-dead-assumes
SIGNAL)Signal for state wpSmokeDeadAssumes
GET)Getter for state wpSmokeDeadAssumes
input
::=null
output
::=boolean
SET)Setter for state wpSmokeDeadAssumes
input
::=boolean
output
::=null
STATE)State of parameter -wp-smoke-tests
SIGNAL)Signal for state wpSmokeTests
GET)Getter for state wpSmokeTests
input
::=null
output
::=boolean
SET)Setter for state wpSmokeTests
input
::=boolean
output
::=null
STATE)State of parameter -wp-rte
SIGNAL)Signal for state wpRte
GET)Getter for state wpRte
input
::=null
output
::=boolean
SET)Setter for state wpRte
input
::=boolean
output
::=null
STATE)State of parameter -wp-callee-precond
SIGNAL)Signal for state wpCalleePrecond
GET)Getter for state wpCalleePrecond
input
::=null
output
::=boolean
SET)Setter for state wpCalleePrecond
input
::=boolean
output
::=null
STATE)State of parameter -wp-init-const
SIGNAL)Signal for state wpInitConst
GET)Getter for state wpInitConst
input
::=null
output
::=boolean
SET)Setter for state wpInitConst
input
::=boolean
output
::=null
STATE)State of parameter -wp-bound-forall-unfolding
SIGNAL)Signal for state wpBoundForallUnfolding
GET)Getter for state wpBoundForallUnfolding
input
::=null
output
::=number
SET)Setter for state wpBoundForallUnfolding
input
::=number
output
::=null
STATE)State of parameter -wp-init-summarize-array
SIGNAL)Signal for state wpInitSummarizeArray
GET)Getter for state wpInitSummarizeArray
input
::=null
output
::=boolean
SET)Setter for state wpInitSummarizeArray
input
::=boolean
output
::=null
STATE)State of parameter -wp-simplify-type
SIGNAL)Signal for state wpSimplifyType
GET)Getter for state wpSimplifyType
input
::=null
output
::=boolean
SET)Setter for state wpSimplifyType
input
::=boolean
output
::=null
STATE)State of parameter -wp-simplify-forall
SIGNAL)Signal for state wpSimplifyForall
GET)Getter for state wpSimplifyForall
input
::=null
output
::=boolean
SET)Setter for state wpSimplifyForall
input
::=boolean
output
::=null
STATE)State of parameter -wp-simplify-land-mask
SIGNAL)Signal for state wpSimplifyLandMask
GET)Getter for state wpSimplifyLandMask
input
::=null
output
::=boolean
SET)Setter for state wpSimplifyLandMask
input
::=boolean
output
::=null
STATE)State of parameter -wp-simplify-is-cint
SIGNAL)Signal for state wpSimplifyIsCint
GET)Getter for state wpSimplifyIsCint
input
::=null
output
::=boolean
SET)Setter for state wpSimplifyIsCint
input
::=boolean
output
::=null
STATE)State of parameter -wp-prenex
SIGNAL)Signal for state wpPrenex
GET)Getter for state wpPrenex
input
::=null
output
::=boolean
SET)Setter for state wpPrenex
input
::=boolean
output
::=null
STATE)State of parameter -wp-parasite
SIGNAL)Signal for state wpParasite
GET)Getter for state wpParasite
input
::=null
output
::=boolean
SET)Setter for state wpParasite
input
::=boolean
output
::=null
STATE)State of parameter -wp-filter
SIGNAL)Signal for state wpFilter
GET)Getter for state wpFilter
input
::=null
output
::=boolean
SET)Setter for state wpFilter
input
::=boolean
output
::=null
STATE)State of parameter -wp-extensional
SIGNAL)Signal for state wpExtensional
GET)Getter for state wpExtensional
input
::=null
output
::=boolean
SET)Setter for state wpExtensional
input
::=boolean
output
::=null
STATE)State of parameter -wp-reduce
SIGNAL)Signal for state wpReduce
GET)Getter for state wpReduce
input
::=null
output
::=boolean
SET)Setter for state wpReduce
input
::=boolean
output
::=null
STATE)State of parameter -wp-ground
SIGNAL)Signal for state wpGround
GET)Getter for state wpGround
input
::=null
output
::=boolean
SET)Setter for state wpGround
input
::=boolean
output
::=null
STATE)State of parameter -wp-clean
SIGNAL)Signal for state wpClean
GET)Getter for state wpClean
input
::=null
output
::=boolean
SET)Setter for state wpClean
input
::=boolean
output
::=null
STATE)State of parameter -wp-filter-init
SIGNAL)Signal for state wpFilterInit
GET)Getter for state wpFilterInit
input
::=null
output
::=boolean
SET)Setter for state wpFilterInit
input
::=boolean
output
::=null
STATE)State of parameter -wp-pruning
SIGNAL)Signal for state wpPruning
GET)Getter for state wpPruning
input
::=null
output
::=boolean
SET)Setter for state wpPruning
input
::=boolean
output
::=null
STATE)State of parameter -wp-core
SIGNAL)Signal for state wpCore
GET)Getter for state wpCore
input
::=null
output
::=boolean
SET)Setter for state wpCore
input
::=boolean
output
::=null
STATE)State of parameter -wp-let
SIGNAL)Signal for state wpLet
GET)Getter for state wpLet
input
::=null
output
::=boolean
SET)Setter for state wpLet
input
::=boolean
output
::=null
STATE)State of parameter -wp-simpl
SIGNAL)Signal for state wpSimpl
GET)Getter for state wpSimpl
input
::=null
output
::=boolean
SET)Setter for state wpSimpl
input
::=boolean
output
::=null
STATE)State of parameter -wp-warn-key
SIGNAL)Signal for state wpWarnKey
GET)Getter for state wpWarnKey
input
::=null
output
::=string
SET)Setter for state wpWarnKey
input
::=string
output
::=null
STATE)State of parameter -wp-msg-key
SIGNAL)Signal for state wpMsgKey
GET)Getter for state wpMsgKey
input
::=null
output
::=string
SET)Setter for state wpMsgKey
input
::=string
output
::=null
STATE)State of parameter -wp-debug
SIGNAL)Signal for state wpDebug
GET)Getter for state wpDebug
input
::=null
output
::=number
SET)Setter for state wpDebug
input
::=number
output
::=null
STATE)State of parameter -wp-verbose
SIGNAL)Signal for state wpVerbose
GET)Getter for state wpVerbose
input
::=null
output
::=number
SET)Setter for state wpVerbose
input
::=number
output
::=null
STATE)State of parameter -wp-log
SIGNAL)Signal for state wpLog
GET)Getter for state wpLog
input
::=null
output
::=string
SET)Setter for state wpLog
input
::=string
output
::=null
STATE)State of parameter -wp-volatile
SIGNAL)Signal for state wpVolatile
GET)Getter for state wpVolatile
input
::=null
output
::=boolean
SET)Setter for state wpVolatile
input
::=boolean
output
::=null
STATE)State of parameter -wp-literals
SIGNAL)Signal for state wpLiterals
GET)Getter for state wpLiterals
input
::=null
output
::=boolean
SET)Setter for state wpLiterals
input
::=boolean
output
::=null
STATE)State of parameter -wp-weak-int-model
SIGNAL)Signal for state wpWeakIntModel
GET)Getter for state wpWeakIntModel
input
::=null
output
::=boolean
SET)Setter for state wpWeakIntModel
input
::=boolean
output
::=null
STATE)State of parameter -wp-extern-arrays
SIGNAL)Signal for state wpExternArrays
GET)Getter for state wpExternArrays
input
::=null
output
::=boolean
SET)Setter for state wpExternArrays
input
::=boolean
output
::=null
STATE)State of parameter -wp-context-vars
SIGNAL)Signal for state wpContextVars
GET)Getter for state wpContextVars
input
::=null
output
::=string
SET)Setter for state wpContextVars
input
::=string
output
::=null
STATE)State of parameter -wp-alias-init
SIGNAL)Signal for state wpAliasInit
GET)Getter for state wpAliasInit
input
::=null
output
::=boolean
SET)Setter for state wpAliasInit
input
::=boolean
output
::=null
STATE)State of parameter -wp-alias-vars
SIGNAL)Signal for state wpAliasVars
GET)Getter for state wpAliasVars
input
::=null
output
::=string
SET)Setter for state wpAliasVars
input
::=string
output
::=null
STATE)State of parameter -wp-ref-vars
SIGNAL)Signal for state wpRefVars
GET)Getter for state wpRefVars
input
::=null
output
::=string
SET)Setter for state wpRefVars
input
::=string
output
::=null
STATE)State of parameter -wp-unalias-vars
SIGNAL)Signal for state wpUnaliasVars
GET)Getter for state wpUnaliasVars
input
::=null
output
::=string
SET)Setter for state wpUnaliasVars
input
::=string
output
::=null
STATE)State of parameter -wp-model
SIGNAL)Signal for state wpModel
GET)Getter for state wpModel
input
::=null
output
::=string
SET)Setter for state wpModel
input
::=string
output
::=null
STATE)State of parameter -wp-why3-extra-config
SIGNAL)Signal for state wpWhy3ExtraConfig
GET)Getter for state wpWhy3ExtraConfig
input
::=null
output
::=string
SET)Setter for state wpWhy3ExtraConfig
input
::=string
output
::=null
STATE)State of parameter -wp-why3-opt
SIGNAL)Signal for state wpWhy3Opt
GET)Getter for state wpWhy3Opt
input
::=null
output
::=string
SET)Setter for state wpWhy3Opt
input
::=string
output
::=null
STATE)State of parameter -wp-auto-backtrack
SIGNAL)Signal for state wpAutoBacktrack
GET)Getter for state wpAutoBacktrack
input
::=null
output
::=number
SET)Setter for state wpAutoBacktrack
input
::=number
output
::=null
STATE)State of parameter -wp-auto-width
SIGNAL)Signal for state wpAutoWidth
GET)Getter for state wpAutoWidth
input
::=null
output
::=number
SET)Setter for state wpAutoWidth
input
::=number
output
::=null
STATE)State of parameter -wp-auto-depth
SIGNAL)Signal for state wpAutoDepth
GET)Getter for state wpAutoDepth
input
::=null
output
::=number
SET)Setter for state wpAutoDepth
input
::=number
output
::=null
STATE)State of parameter -wp-auto
SIGNAL)Signal for state wpAuto
GET)Getter for state wpAuto
input
::=null
output
::=string
SET)Setter for state wpAuto
input
::=string
output
::=null
STATE)State of parameter -wp-proof-trace
SIGNAL)Signal for state wpProofTrace
GET)Getter for state wpProofTrace
input
::=null
output
::=boolean
SET)Setter for state wpProofTrace
input
::=boolean
output
::=null
STATE)State of parameter -wp-par
SIGNAL)Signal for state wpPar
GET)Getter for state wpPar
input
::=null
output
::=number
SET)Setter for state wpPar
input
::=number
output
::=null
STATE)State of parameter -wp-time-margin
SIGNAL)Signal for state wpTimeMargin
GET)Getter for state wpTimeMargin
input
::=null
output
::=string
SET)Setter for state wpTimeMargin
input
::=string
output
::=null
STATE)State of parameter -wp-time-extra
SIGNAL)Signal for state wpTimeExtra
GET)Getter for state wpTimeExtra
input
::=null
output
::=number
SET)Setter for state wpTimeExtra
input
::=number
output
::=null
STATE)State of parameter -wp-interactive-timeout
SIGNAL)Signal for state wpInteractiveTimeout
GET)Getter for state wpInteractiveTimeout
input
::=null
output
::=number
SET)Setter for state wpInteractiveTimeout
input
::=number
output
::=null
STATE)State of parameter -wp-smoke-timeout
SIGNAL)Signal for state wpSmokeTimeout
GET)Getter for state wpSmokeTimeout
input
::=null
output
::=number
SET)Setter for state wpSmokeTimeout
input
::=number
output
::=null
STATE)State of parameter -wp-fct-timeout
SIGNAL)Signal for state wpFctTimeout
GET)Getter for state wpFctTimeout
input
::=null
output
::=string
SET)Setter for state wpFctTimeout
input
::=string
output
::=null
STATE)State of parameter -wp-memlimit
SIGNAL)Signal for state wpMemlimit
GET)Getter for state wpMemlimit
input
::=null
output
::=number
SET)Setter for state wpMemlimit
input
::=number
output
::=null
STATE)State of parameter -wp-timeout
SIGNAL)Signal for state wpTimeout
GET)Getter for state wpTimeout
input
::=null
output
::=number
SET)Setter for state wpTimeout
input
::=number
output
::=null
STATE)State of parameter -wp-steps
SIGNAL)Signal for state wpSteps
GET)Getter for state wpSteps
input
::=null
output
::=number
SET)Setter for state wpSteps
input
::=number
output
::=null
STATE)State of parameter -wp-driver
SIGNAL)Signal for state wpDriver
GET)Getter for state wpDriver
input
::=null
output
::=string
SET)Setter for state wpDriver
input
::=string
output
::=null
STATE)State of parameter -wp-library
SIGNAL)Signal for state wpLibrary
GET)Getter for state wpLibrary
input
::=null
output
::=string
SET)Setter for state wpLibrary
input
::=string
output
::=null
STATE)State of parameter -wp-detect
SIGNAL)Signal for state wpDetect
GET)Getter for state wpDetect
input
::=null
output
::=boolean
SET)Setter for state wpDetect
input
::=boolean
output
::=null
STATE)State of parameter -wp-dry-finalize-scripts
SIGNAL)Signal for state wpDryFinalizeScripts
GET)Getter for state wpDryFinalizeScripts
input
::=null
output
::=boolean
SET)Setter for state wpDryFinalizeScripts
input
::=boolean
output
::=null
STATE)State of parameter -wp-finalize-scripts
SIGNAL)Signal for state wpFinalizeScripts
GET)Getter for state wpFinalizeScripts
input
::=null
output
::=boolean
SET)Setter for state wpFinalizeScripts
input
::=boolean
output
::=null
STATE)State of parameter -wp-prepare-scripts
SIGNAL)Signal for state wpPrepareScripts
GET)Getter for state wpPrepareScripts
input
::=null
output
::=boolean
SET)Setter for state wpPrepareScripts
input
::=boolean
output
::=null
STATE)State of parameter -wp-script-on-stdout
SIGNAL)Signal for state wpScriptOnStdout
GET)Getter for state wpScriptOnStdout
input
::=null
output
::=boolean
SET)Setter for state wpScriptOnStdout
input
::=boolean
output
::=null
STATE)State of parameter -wp-gen
SIGNAL)Signal for state wpGen
GET)Getter for state wpGen
input
::=null
output
::=boolean
SET)Setter for state wpGen
input
::=boolean
output
::=null
STATE)State of parameter -wp-cache-print
SIGNAL)Signal for state wpCachePrint
GET)Getter for state wpCachePrint
input
::=null
output
::=boolean
SET)Setter for state wpCachePrint
input
::=boolean
output
::=null
STATE)State of parameter -wp-cache-env
SIGNAL)Signal for state wpCacheEnv
GET)Getter for state wpCacheEnv
input
::=null
output
::=boolean
SET)Setter for state wpCacheEnv
input
::=boolean
output
::=null
STATE)State of parameter -wp-cache-dir
SIGNAL)Signal for state wpCacheDir
GET)Getter for state wpCacheDir
input
::=null
output
::=string
SET)Setter for state wpCacheDir
input
::=string
output
::=null
STATE)State of parameter -wp-cache
SIGNAL)Signal for state wpCache
GET)Getter for state wpCache
input
::=null
output
::=string
SET)Setter for state wpCache
input
::=string
output
::=null
STATE)State of parameter -wp-run-all-provers
SIGNAL)Signal for state wpRunAllProvers
GET)Getter for state wpRunAllProvers
input
::=null
output
::=boolean
SET)Setter for state wpRunAllProvers
input
::=boolean
output
::=null
STATE)State of parameter -wp-strategy
SIGNAL)Signal for state wpStrategy
GET)Getter for state wpStrategy
input
::=null
output
::=string
SET)Setter for state wpStrategy
input
::=string
output
::=null
STATE)State of parameter -wp-strategy-engine
SIGNAL)Signal for state wpStrategyEngine
GET)Getter for state wpStrategyEngine
input
::=null
output
::=boolean
SET)Setter for state wpStrategyEngine
input
::=boolean
output
::=null
STATE)State of parameter -wp-script
SIGNAL)Signal for state wpScript
GET)Getter for state wpScript
input
::=null
output
::=string
SET)Setter for state wpScript
input
::=string
output
::=null
STATE)State of parameter -wp-interactive
SIGNAL)Signal for state wpInteractive
GET)Getter for state wpInteractive
input
::=null
output
::=string
SET)Setter for state wpInteractive
input
::=string
output
::=null
STATE)State of parameter -wp-prover
SIGNAL)Signal for state wpProver
GET)Getter for state wpProver
input
::=null
output
::=string
SET)Setter for state wpProver
input
::=string
output
::=null
STATE)State of parameter -wp-status-maybe
SIGNAL)Signal for state wpStatusMaybe
GET)Getter for state wpStatusMaybe
input
::=null
output
::=boolean
SET)Setter for state wpStatusMaybe
input
::=boolean
output
::=null
STATE)State of parameter -wp-status-invalid
SIGNAL)Signal for state wpStatusInvalid
GET)Getter for state wpStatusInvalid
input
::=null
output
::=boolean
SET)Setter for state wpStatusInvalid
input
::=boolean
output
::=null
STATE)State of parameter -wp-status-valid
SIGNAL)Signal for state wpStatusValid
GET)Getter for state wpStatusValid
input
::=null
output
::=boolean
SET)Setter for state wpStatusValid
input
::=boolean
output
::=null
STATE)State of parameter -wp-status-all
SIGNAL)Signal for state wpStatusAll
GET)Getter for state wpStatusAll
input
::=null
output
::=boolean
SET)Setter for state wpStatusAll
input
::=boolean
output
::=null
STATE)State of parameter -wp-prop
SIGNAL)Signal for state wpProp
GET)Getter for state wpProp
input
::=null
output
::=string
SET)Setter for state wpProp
input
::=string
output
::=null
STATE)State of parameter -wp-bhv
SIGNAL)Signal for state wpBhv
GET)Getter for state wpBhv
input
::=null
output
::=string
SET)Setter for state wpBhv
input
::=string
output
::=null
STATE)State of parameter -wp-skip-fct
SIGNAL)Signal for state wpSkipFct
GET)Getter for state wpSkipFct
input
::=null
output
::=string
SET)Setter for state wpSkipFct
input
::=string
output
::=null
STATE)State of parameter -wp-fct
SIGNAL)Signal for state wpFct
GET)Getter for state wpFct
input
::=null
output
::=string
SET)Setter for state wpFct
input
::=string
output
::=null
STATE)State of parameter -wp-dump
SIGNAL)Signal for state wpDump
GET)Getter for state wpDump
input
::=null
output
::=boolean
SET)Setter for state wpDump
input
::=boolean
output
::=null
STATE)State of parameter -wp
SIGNAL)Signal for state wp
GET)Getter for state wp
input
::=null
output
::=boolean
SET)Setter for state wp
input
::=boolean
output
::=null
STATE)State of parameter -rte-select
SIGNAL)Signal for state rteSelect
GET)Getter for state rteSelect
input
::=null
output
::=string
SET)Setter for state rteSelect
input
::=string
output
::=null
STATE)State of parameter -rte-warn
SIGNAL)Signal for state rteWarn
GET)Getter for state rteWarn
input
::=null
output
::=boolean
SET)Setter for state rteWarn
input
::=boolean
output
::=null
STATE)State of parameter -rte-trivial-annotations
SIGNAL)Signal for state rteTrivialAnnotations
GET)Getter for state rteTrivialAnnotations
input
::=null
output
::=boolean
SET)Setter for state rteTrivialAnnotations
input
::=boolean
output
::=null
STATE)State of parameter -rte-pointer-call
SIGNAL)Signal for state rtePointerCall
GET)Getter for state rtePointerCall
input
::=null
output
::=boolean
SET)Setter for state rtePointerCall
input
::=boolean
output
::=null
STATE)State of parameter -rte-mem
SIGNAL)Signal for state rteMem
GET)Getter for state rteMem
input
::=null
output
::=boolean
SET)Setter for state rteMem
input
::=boolean
output
::=null
STATE)State of parameter -rte-initialized
SIGNAL)Signal for state rteInitialized
GET)Getter for state rteInitialized
input
::=null
output
::=string
SET)Setter for state rteInitialized
input
::=string
output
::=null
STATE)State of parameter -rte-float-to-int
SIGNAL)Signal for state rteFloatToInt
GET)Getter for state rteFloatToInt
input
::=null
output
::=boolean
SET)Setter for state rteFloatToInt
input
::=boolean
output
::=null
STATE)State of parameter -rte-shift
SIGNAL)Signal for state rteShift
GET)Getter for state rteShift
input
::=null
output
::=boolean
SET)Setter for state rteShift
input
::=boolean
output
::=null
STATE)State of parameter -rte-div
SIGNAL)Signal for state rteDiv
GET)Getter for state rteDiv
input
::=null
output
::=boolean
SET)Setter for state rteDiv
input
::=boolean
output
::=null
STATE)State of parameter -rte
SIGNAL)Signal for state rte
GET)Getter for state rte
input
::=null
output
::=boolean
SET)Setter for state rte
input
::=boolean
output
::=null
STATE)State of parameter -rte-warn-key
SIGNAL)Signal for state rteWarnKey
GET)Getter for state rteWarnKey
input
::=null
output
::=string
SET)Setter for state rteWarnKey
input
::=string
output
::=null
STATE)State of parameter -rte-msg-key
SIGNAL)Signal for state rteMsgKey
GET)Getter for state rteMsgKey
input
::=null
output
::=string
SET)Setter for state rteMsgKey
input
::=string
output
::=null
STATE)State of parameter -rte-debug
SIGNAL)Signal for state rteDebug
GET)Getter for state rteDebug
input
::=null
output
::=number
SET)Setter for state rteDebug
input
::=number
output
::=null
STATE)State of parameter -rte-verbose
SIGNAL)Signal for state rteVerbose
GET)Getter for state rteVerbose
input
::=null
output
::=number
SET)Setter for state rteVerbose
input
::=number
output
::=null
STATE)State of parameter -rte-log
SIGNAL)Signal for state rteLog
GET)Getter for state rteLog
input
::=null
output
::=string
SET)Setter for state rteLog
input
::=string
output
::=null