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