All Frama-C parameters

kernel.parameters.session (STATE)

State of parameter -session

kernel.parameters.signalSession (SIGNAL)

Signal for state session

kernel.parameters.getSession (GET)

Getter for state session

input ::= null

output ::= string

kernel.parameters.setSession (SET)

Setter for state session

input ::= string

output ::= null

kernel.parameters.astDiff (STATE)

State of parameter -ast-diff

kernel.parameters.signalAstDiff (SIGNAL)

Signal for state astDiff

kernel.parameters.getAstDiff (GET)

Getter for state astDiff

input ::= null

output ::= boolean

kernel.parameters.setAstDiff (SET)

Setter for state astDiff

input ::= boolean

output ::= null

kernel.parameters.eagerLoadSources (STATE)

State of parameter -eager-load-sources

kernel.parameters.signalEagerLoadSources (SIGNAL)

Signal for state eagerLoadSources

kernel.parameters.getEagerLoadSources (GET)

Getter for state eagerLoadSources

input ::= null

output ::= boolean

kernel.parameters.setEagerLoadSources (SET)

Setter for state eagerLoadSources

input ::= boolean

output ::= null

kernel.parameters.bigIntsHex (STATE)

State of parameter -big-ints-hex

kernel.parameters.signalBigIntsHex (SIGNAL)

Signal for state bigIntsHex

kernel.parameters.getBigIntsHex (GET)

Getter for state bigIntsHex

input ::= null

output ::= number

kernel.parameters.setBigIntsHex (SET)

Setter for state bigIntsHex

input ::= number

output ::= null

kernel.parameters.floatHex (STATE)

State of parameter -float-hex

kernel.parameters.signalFloatHex (SIGNAL)

Signal for state floatHex

kernel.parameters.getFloatHex (GET)

Getter for state floatHex

input ::= null

output ::= boolean

kernel.parameters.setFloatHex (SET)

Setter for state floatHex

input ::= boolean

output ::= null

kernel.parameters.floatRelative (STATE)

State of parameter -float-relative

kernel.parameters.signalFloatRelative (SIGNAL)

Signal for state floatRelative

kernel.parameters.getFloatRelative (GET)

Getter for state floatRelative

input ::= null

output ::= boolean

kernel.parameters.setFloatRelative (SET)

Setter for state floatRelative

input ::= boolean

output ::= null

kernel.parameters.floatNormal (STATE)

State of parameter -float-normal

kernel.parameters.signalFloatNormal (SIGNAL)

Signal for state floatNormal

kernel.parameters.getFloatNormal (GET)

Getter for state floatNormal

input ::= null

output ::= boolean

kernel.parameters.setFloatNormal (SET)

Setter for state floatNormal

input ::= boolean

output ::= null

kernel.parameters.ocode (STATE)

State of parameter -ocode

kernel.parameters.signalOcode (SIGNAL)

Signal for state ocode

kernel.parameters.getOcode (GET)

Getter for state ocode

input ::= null

output ::= string

kernel.parameters.setOcode (SET)

Setter for state ocode

input ::= string

output ::= null

kernel.parameters.printReturn (STATE)

State of parameter -print-return

kernel.parameters.signalPrintReturn (SIGNAL)

Signal for state printReturn

kernel.parameters.getPrintReturn (GET)

Getter for state printReturn

input ::= null

output ::= boolean

kernel.parameters.setPrintReturn (SET)

Setter for state printReturn

input ::= boolean

output ::= null

kernel.parameters.printLibc (STATE)

State of parameter -print-libc

kernel.parameters.signalPrintLibc (SIGNAL)

Signal for state printLibc

kernel.parameters.getPrintLibc (GET)

Getter for state printLibc

input ::= null

output ::= boolean

kernel.parameters.setPrintLibc (SET)

Setter for state printLibc

input ::= boolean

output ::= null

kernel.parameters.keepComments (STATE)

State of parameter -keep-comments

kernel.parameters.signalKeepComments (SIGNAL)

Signal for state keepComments

kernel.parameters.getKeepComments (GET)

Getter for state keepComments

input ::= null

output ::= boolean

kernel.parameters.setKeepComments (SET)

Setter for state keepComments

input ::= boolean

output ::= null

kernel.parameters.printAsIs (STATE)

State of parameter -print-as-is

kernel.parameters.signalPrintAsIs (SIGNAL)

Signal for state printAsIs

kernel.parameters.getPrintAsIs (GET)

Getter for state printAsIs

input ::= null

output ::= boolean

kernel.parameters.setPrintAsIs (SET)

Setter for state printAsIs

input ::= boolean

output ::= null

kernel.parameters.print (STATE)

State of parameter -print

kernel.parameters.signalPrint (SIGNAL)

Signal for state print

kernel.parameters.getPrint (GET)

Getter for state print

input ::= null

output ::= boolean

kernel.parameters.setPrint (SET)

Setter for state print

input ::= boolean

output ::= null

kernel.parameters.removeProjects (STATE)

State of parameter -remove-projects

kernel.parameters.signalRemoveProjects (SIGNAL)

Signal for state removeProjects

kernel.parameters.getRemoveProjects (GET)

Getter for state removeProjects

input ::= null

output ::= string

kernel.parameters.setRemoveProjects (SET)

Setter for state removeProjects

input ::= string

output ::= null

kernel.parameters.setProjectAsDefault (STATE)

State of parameter -set-project-as-default

kernel.parameters.signalSetProjectAsDefault (SIGNAL)

Signal for state setProjectAsDefault

kernel.parameters.getSetProjectAsDefault (GET)

Getter for state setProjectAsDefault

input ::= null

output ::= boolean

kernel.parameters.setSetProjectAsDefault (SET)

Setter for state setProjectAsDefault

input ::= boolean

output ::= null

kernel.parameters.typecheck (STATE)

State of parameter -typecheck

kernel.parameters.signalTypecheck (SIGNAL)

Signal for state typecheck

kernel.parameters.getTypecheck (GET)

Getter for state typecheck

input ::= null

output ::= boolean

kernel.parameters.setTypecheck (SET)

Setter for state typecheck

input ::= boolean

output ::= null

kernel.parameters.copy (STATE)

State of parameter -copy

kernel.parameters.signalCopy (SIGNAL)

Signal for state copy

kernel.parameters.getCopy (GET)

Getter for state copy

input ::= null

output ::= boolean

kernel.parameters.setCopy (SET)

Setter for state copy

input ::= boolean

output ::= null

kernel.parameters.check (STATE)

State of parameter -check

kernel.parameters.signalCheck (SIGNAL)

Signal for state check

kernel.parameters.getCheck (GET)

Getter for state check

input ::= null

output ::= boolean

kernel.parameters.setCheck (SET)

Setter for state check

input ::= boolean

output ::= null

kernel.parameters.dumpDependencies (STATE)

State of parameter -dump-dependencies

kernel.parameters.signalDumpDependencies (SIGNAL)

Signal for state dumpDependencies

kernel.parameters.getDumpDependencies (GET)

Getter for state dumpDependencies

input ::= null

output ::= string

kernel.parameters.setDumpDependencies (SET)

Setter for state dumpDependencies

input ::= string

output ::= null

kernel.parameters.addSymbolicPath (STATE)

State of parameter -add-symbolic-path

kernel.parameters.signalAddSymbolicPath (SIGNAL)

Signal for state addSymbolicPath

kernel.parameters.getAddSymbolicPath (GET)

Getter for state addSymbolicPath

input ::= null

output ::= string

kernel.parameters.setAddSymbolicPath (SET)

Setter for state addSymbolicPath

input ::= string

output ::= null

kernel.parameters.time (STATE)

State of parameter -time

kernel.parameters.signalTime (SIGNAL)

Signal for state time

kernel.parameters.getTime (GET)

Getter for state time

input ::= null

output ::= string

kernel.parameters.setTime (SET)

Setter for state time

input ::= string

output ::= null

kernel.parameters.quiet (STATE)

State of parameter -quiet

kernel.parameters.signalQuiet (SIGNAL)

Signal for state quiet

kernel.parameters.getQuiet (GET)

Getter for state quiet

input ::= null

output ::= boolean

kernel.parameters.setQuiet (SET)

Setter for state quiet

input ::= boolean

output ::= null

kernel.parameters.debug (STATE)

State of parameter -debug

kernel.parameters.signalDebug (SIGNAL)

Signal for state debug

kernel.parameters.getDebug (GET)

Getter for state debug

input ::= null

output ::= number

kernel.parameters.setDebug (SET)

Setter for state debug

input ::= number

output ::= null

kernel.parameters.verbose (STATE)

State of parameter -verbose

kernel.parameters.signalVerbose (SIGNAL)

Signal for state verbose

kernel.parameters.getVerbose (GET)

Getter for state verbose

input ::= null

output ::= number

kernel.parameters.setVerbose (SET)

Setter for state verbose

input ::= number

output ::= null

kernel.parameters.kernelWarnKey (STATE)

State of parameter -kernel-warn-key

kernel.parameters.signalKernelWarnKey (SIGNAL)

Signal for state kernelWarnKey

kernel.parameters.getKernelWarnKey (GET)

Getter for state kernelWarnKey

input ::= null

output ::= string

kernel.parameters.setKernelWarnKey (SET)

Setter for state kernelWarnKey

input ::= string

output ::= null

kernel.parameters.kernelMsgKey (STATE)

State of parameter -kernel-msg-key

kernel.parameters.signalKernelMsgKey (SIGNAL)

Signal for state kernelMsgKey

kernel.parameters.getKernelMsgKey (GET)

Getter for state kernelMsgKey

input ::= null

output ::= string

kernel.parameters.setKernelMsgKey (SET)

Setter for state kernelMsgKey

input ::= string

output ::= null

kernel.parameters.kernelDebug (STATE)

State of parameter -kernel-debug

kernel.parameters.signalKernelDebug (SIGNAL)

Signal for state kernelDebug

kernel.parameters.getKernelDebug (GET)

Getter for state kernelDebug

input ::= null

output ::= number

kernel.parameters.setKernelDebug (SET)

Setter for state kernelDebug

input ::= number

output ::= null

kernel.parameters.kernelVerbose (STATE)

State of parameter -kernel-verbose

kernel.parameters.signalKernelVerbose (SIGNAL)

Signal for state kernelVerbose

kernel.parameters.getKernelVerbose (GET)

Getter for state kernelVerbose

input ::= null

output ::= number

kernel.parameters.setKernelVerbose (SET)

Setter for state kernelVerbose

input ::= number

output ::= null

kernel.parameters.kernelLog (STATE)

State of parameter -kernel-log

kernel.parameters.signalKernelLog (SIGNAL)

Signal for state kernelLog

kernel.parameters.getKernelLog (GET)

Getter for state kernelLog

input ::= null

output ::= string

kernel.parameters.setKernelLog (SET)

Setter for state kernelLog

input ::= string

output ::= null

kernel.parameters.state (STATE)

State of parameter -state

kernel.parameters.signalState (SIGNAL)

Signal for state state

kernel.parameters.getState (GET)

Getter for state state

input ::= null

output ::= string

kernel.parameters.setState (SET)

Setter for state state

input ::= string

output ::= null

kernel.parameters.config (STATE)

State of parameter -config

kernel.parameters.signalConfig (SIGNAL)

Signal for state config

kernel.parameters.getConfig (GET)

Getter for state config

input ::= null

output ::= string

kernel.parameters.setConfig (SET)

Setter for state config

input ::= string

output ::= null

kernel.parameters.cache (STATE)

State of parameter -cache

kernel.parameters.signalCache (SIGNAL)

Signal for state cache

kernel.parameters.getCache (GET)

Getter for state cache

input ::= null

output ::= string

kernel.parameters.setCache (SET)

Setter for state cache

input ::= string

output ::= null

kernel.parameters.save (STATE)

State of parameter -save

kernel.parameters.signalSave (SIGNAL)

Signal for state save

kernel.parameters.getSave (GET)

Getter for state save

input ::= null

output ::= string

kernel.parameters.setSave (SET)

Setter for state save

input ::= string

output ::= null

kernel.parameters.jsonCompilationDatabase (STATE)

State of parameter -json-compilation-database

kernel.parameters.signalJsonCompilationDatabase (SIGNAL)

Signal for state jsonCompilationDatabase

kernel.parameters.getJsonCompilationDatabase (GET)

Getter for state jsonCompilationDatabase

input ::= null

output ::= string

kernel.parameters.setJsonCompilationDatabase (SET)

Setter for state jsonCompilationDatabase

input ::= string

output ::= null

kernel.parameters.c11 (STATE)

State of parameter -c11

kernel.parameters.signalC11 (SIGNAL)

Signal for state c11

kernel.parameters.getC11 (GET)

Getter for state c11

input ::= null

output ::= boolean

kernel.parameters.setC11 (SET)

Setter for state c11

input ::= boolean

output ::= null

kernel.parameters.origName (STATE)

State of parameter -orig-name

kernel.parameters.signalOrigName (SIGNAL)

Signal for state origName

kernel.parameters.getOrigName (GET)

Getter for state origName

input ::= null

output ::= boolean

kernel.parameters.setOrigName (SET)

Setter for state origName

input ::= boolean

output ::= null

kernel.parameters.framaCStdlib (STATE)

State of parameter -frama-c-stdlib

kernel.parameters.signalFramaCStdlib (SIGNAL)

Signal for state framaCStdlib

kernel.parameters.getFramaCStdlib (GET)

Getter for state framaCStdlib

input ::= null

output ::= boolean

kernel.parameters.setFramaCStdlib (SET)

Setter for state framaCStdlib

input ::= boolean

output ::= null

kernel.parameters.auditCheck (STATE)

State of parameter -audit-check

kernel.parameters.signalAuditCheck (SIGNAL)

Signal for state auditCheck

kernel.parameters.getAuditCheck (GET)

Getter for state auditCheck

input ::= null

output ::= string

kernel.parameters.setAuditCheck (SET)

Setter for state auditCheck

input ::= string

output ::= null

kernel.parameters.auditPrepare (STATE)

State of parameter -audit-prepare

kernel.parameters.signalAuditPrepare (SIGNAL)

Signal for state auditPrepare

kernel.parameters.getAuditPrepare (GET)

Getter for state auditPrepare

input ::= null

output ::= string

kernel.parameters.setAuditPrepare (SET)

Setter for state auditPrepare

input ::= string

output ::= null

kernel.parameters.printCppCommands (STATE)

State of parameter -print-cpp-commands

kernel.parameters.signalPrintCppCommands (SIGNAL)

Signal for state printCppCommands

kernel.parameters.getPrintCppCommands (GET)

Getter for state printCppCommands

input ::= null

output ::= boolean

kernel.parameters.setPrintCppCommands (SET)

Setter for state printCppCommands

input ::= boolean

output ::= null

kernel.parameters.cppFramaCCompliant (STATE)

State of parameter -cpp-frama-c-compliant

kernel.parameters.signalCppFramaCCompliant (SIGNAL)

Signal for state cppFramaCCompliant

kernel.parameters.getCppFramaCCompliant (GET)

Getter for state cppFramaCCompliant

input ::= null

output ::= boolean

kernel.parameters.setCppFramaCCompliant (SET)

Setter for state cppFramaCCompliant

input ::= boolean

output ::= null

kernel.parameters.cppExtraArgsPerFile (STATE)

State of parameter -cpp-extra-args-per-file

kernel.parameters.signalCppExtraArgsPerFile (SIGNAL)

Signal for state cppExtraArgsPerFile

kernel.parameters.getCppExtraArgsPerFile (GET)

Getter for state cppExtraArgsPerFile

input ::= null

output ::= string

kernel.parameters.setCppExtraArgsPerFile (SET)

Setter for state cppExtraArgsPerFile

input ::= string

output ::= null

kernel.parameters.cppExtraArgs (STATE)

State of parameter -cpp-extra-args

kernel.parameters.signalCppExtraArgs (SIGNAL)

Signal for state cppExtraArgs

kernel.parameters.getCppExtraArgs (GET)

Getter for state cppExtraArgs

input ::= null

output ::= string

kernel.parameters.setCppExtraArgs (SET)

Setter for state cppExtraArgs

input ::= string

output ::= null

kernel.parameters.cppCommand (STATE)

State of parameter -cpp-command

kernel.parameters.signalCppCommand (SIGNAL)

Signal for state cppCommand

kernel.parameters.getCppCommand (GET)

Getter for state cppCommand

input ::= null

output ::= string

kernel.parameters.setCppCommand (SET)

Setter for state cppCommand

input ::= string

output ::= null

kernel.parameters.ppAnnot (STATE)

State of parameter -pp-annot

kernel.parameters.signalPpAnnot (SIGNAL)

Signal for state ppAnnot

kernel.parameters.getPpAnnot (GET)

Getter for state ppAnnot

input ::= null

output ::= boolean

kernel.parameters.setPpAnnot (SET)

Setter for state ppAnnot

input ::= boolean

output ::= null

kernel.parameters.annot (STATE)

State of parameter -annot

kernel.parameters.signalAnnot (SIGNAL)

Signal for state annot

kernel.parameters.getAnnot (GET)

Getter for state annot

input ::= null

output ::= boolean

kernel.parameters.setAnnot (SET)

Setter for state annot

input ::= boolean

output ::= null

kernel.parameters.warnInvalidPointer (STATE)

State of parameter -warn-invalid-pointer

kernel.parameters.signalWarnInvalidPointer (SIGNAL)

Signal for state warnInvalidPointer

kernel.parameters.getWarnInvalidPointer (GET)

Getter for state warnInvalidPointer

input ::= null

output ::= boolean

kernel.parameters.setWarnInvalidPointer (SET)

Setter for state warnInvalidPointer

input ::= boolean

output ::= null

kernel.parameters.warnInvalidBool (STATE)

State of parameter -warn-invalid-bool

kernel.parameters.signalWarnInvalidBool (SIGNAL)

Signal for state warnInvalidBool

kernel.parameters.getWarnInvalidBool (GET)

Getter for state warnInvalidBool

input ::= null

output ::= boolean

kernel.parameters.setWarnInvalidBool (SET)

Setter for state warnInvalidBool

input ::= boolean

output ::= null

kernel.parameters.warnSpecialFloat (STATE)

State of parameter -warn-special-float

kernel.parameters.signalWarnSpecialFloat (SIGNAL)

Signal for state warnSpecialFloat

kernel.parameters.getWarnSpecialFloat (GET)

Getter for state warnSpecialFloat

input ::= null

output ::= string

kernel.parameters.setWarnSpecialFloat (SET)

Setter for state warnSpecialFloat

input ::= string

output ::= null

kernel.parameters.warnPointerDowncast (STATE)

State of parameter -warn-pointer-downcast

kernel.parameters.signalWarnPointerDowncast (SIGNAL)

Signal for state warnPointerDowncast

kernel.parameters.getWarnPointerDowncast (GET)

Getter for state warnPointerDowncast

input ::= null

output ::= boolean

kernel.parameters.setWarnPointerDowncast (SET)

Setter for state warnPointerDowncast

input ::= boolean

output ::= null

kernel.parameters.warnUnsignedDowncast (STATE)

State of parameter -warn-unsigned-downcast

kernel.parameters.signalWarnUnsignedDowncast (SIGNAL)

Signal for state warnUnsignedDowncast

kernel.parameters.getWarnUnsignedDowncast (GET)

Getter for state warnUnsignedDowncast

input ::= null

output ::= boolean

kernel.parameters.setWarnUnsignedDowncast (SET)

Setter for state warnUnsignedDowncast

input ::= boolean

output ::= null

kernel.parameters.warnSignedDowncast (STATE)

State of parameter -warn-signed-downcast

kernel.parameters.signalWarnSignedDowncast (SIGNAL)

Signal for state warnSignedDowncast

kernel.parameters.getWarnSignedDowncast (GET)

Getter for state warnSignedDowncast

input ::= null

output ::= boolean

kernel.parameters.setWarnSignedDowncast (SET)

Setter for state warnSignedDowncast

input ::= boolean

output ::= null

kernel.parameters.warnRightShiftNegative (STATE)

State of parameter -warn-right-shift-negative

kernel.parameters.signalWarnRightShiftNegative (SIGNAL)

Signal for state warnRightShiftNegative

kernel.parameters.getWarnRightShiftNegative (GET)

Getter for state warnRightShiftNegative

input ::= null

output ::= boolean

kernel.parameters.setWarnRightShiftNegative (SET)

Setter for state warnRightShiftNegative

input ::= boolean

output ::= null

kernel.parameters.warnLeftShiftNegative (STATE)

State of parameter -warn-left-shift-negative

kernel.parameters.signalWarnLeftShiftNegative (SIGNAL)

Signal for state warnLeftShiftNegative

kernel.parameters.getWarnLeftShiftNegative (GET)

Getter for state warnLeftShiftNegative

input ::= null

output ::= boolean

kernel.parameters.setWarnLeftShiftNegative (SET)

Setter for state warnLeftShiftNegative

input ::= boolean

output ::= null

kernel.parameters.warnUnsignedOverflow (STATE)

State of parameter -warn-unsigned-overflow

kernel.parameters.signalWarnUnsignedOverflow (SIGNAL)

Signal for state warnUnsignedOverflow

kernel.parameters.getWarnUnsignedOverflow (GET)

Getter for state warnUnsignedOverflow

input ::= null

output ::= boolean

kernel.parameters.setWarnUnsignedOverflow (SET)

Setter for state warnUnsignedOverflow

input ::= boolean

output ::= null

kernel.parameters.warnSignedOverflow (STATE)

State of parameter -warn-signed-overflow

kernel.parameters.signalWarnSignedOverflow (SIGNAL)

Signal for state warnSignedOverflow

kernel.parameters.getWarnSignedOverflow (GET)

Getter for state warnSignedOverflow

input ::= null

output ::= boolean

kernel.parameters.setWarnSignedOverflow (SET)

Setter for state warnSignedOverflow

input ::= boolean

output ::= null

kernel.parameters.absoluteValidRange (STATE)

State of parameter -absolute-valid-range

kernel.parameters.signalAbsoluteValidRange (SIGNAL)

Signal for state absoluteValidRange

kernel.parameters.getAbsoluteValidRange (GET)

Getter for state absoluteValidRange

input ::= null

output ::= string

kernel.parameters.setAbsoluteValidRange (SET)

Setter for state absoluteValidRange

input ::= string

output ::= null

kernel.parameters.safeArrays (STATE)

State of parameter -safe-arrays

kernel.parameters.signalSafeArrays (SIGNAL)

Signal for state safeArrays

kernel.parameters.getSafeArrays (GET)

Getter for state safeArrays

input ::= null

output ::= boolean

kernel.parameters.setSafeArrays (SET)

Setter for state safeArrays

input ::= boolean

output ::= null

kernel.parameters.unspecifiedAccess (STATE)

State of parameter -unspecified-access

kernel.parameters.signalUnspecifiedAccess (SIGNAL)

Signal for state unspecifiedAccess

kernel.parameters.getUnspecifiedAccess (GET)

Getter for state unspecifiedAccess

input ::= null

output ::= boolean

kernel.parameters.setUnspecifiedAccess (SET)

Setter for state unspecifiedAccess

input ::= boolean

output ::= null

kernel.parameters.libEntry (STATE)

State of parameter -lib-entry

kernel.parameters.signalLibEntry (SIGNAL)

Signal for state libEntry

kernel.parameters.getLibEntry (GET)

Getter for state libEntry

input ::= null

output ::= boolean

kernel.parameters.setLibEntry (SET)

Setter for state libEntry

input ::= boolean

output ::= null

kernel.parameters.main (STATE)

State of parameter -main

kernel.parameters.signalMain (SIGNAL)

Signal for state main

kernel.parameters.getMain (GET)

Getter for state main

input ::= null

output ::= string

kernel.parameters.setMain (SET)

Setter for state main

input ::= string

output ::= null

kernel.parameters.removeInlined (STATE)

State of parameter -remove-inlined

kernel.parameters.signalRemoveInlined (SIGNAL)

Signal for state removeInlined

kernel.parameters.getRemoveInlined (GET)

Getter for state removeInlined

input ::= null

output ::= string

kernel.parameters.setRemoveInlined (SET)

Setter for state removeInlined

input ::= string

output ::= null

kernel.parameters.inlineCalls (STATE)

State of parameter -inline-calls

kernel.parameters.signalInlineCalls (SIGNAL)

Signal for state inlineCalls

kernel.parameters.getInlineCalls (GET)

Getter for state inlineCalls

input ::= null

output ::= string

kernel.parameters.setInlineCalls (SET)

Setter for state inlineCalls

input ::= string

output ::= null

kernel.parameters.generatedSpecCustom (STATE)

State of parameter -generated-spec-custom

kernel.parameters.signalGeneratedSpecCustom (SIGNAL)

Signal for state generatedSpecCustom

kernel.parameters.getGeneratedSpecCustom (GET)

Getter for state generatedSpecCustom

input ::= null

output ::= string

kernel.parameters.setGeneratedSpecCustom (SET)

Setter for state generatedSpecCustom

input ::= string

output ::= null

kernel.parameters.generatedSpecMode (STATE)

State of parameter -generated-spec-mode

kernel.parameters.signalGeneratedSpecMode (SIGNAL)

Signal for state generatedSpecMode

kernel.parameters.getGeneratedSpecMode (GET)

Getter for state generatedSpecMode

input ::= null

output ::= string

kernel.parameters.setGeneratedSpecMode (SET)

Setter for state generatedSpecMode

input ::= string

output ::= null

kernel.parameters.collapseCallCast (STATE)

State of parameter -collapse-call-cast

kernel.parameters.signalCollapseCallCast (SIGNAL)

Signal for state collapseCallCast

kernel.parameters.getCollapseCallCast (GET)

Getter for state collapseCallCast

input ::= null

output ::= boolean

kernel.parameters.setCollapseCallCast (SET)

Setter for state collapseCallCast

input ::= boolean

output ::= null

kernel.parameters.allowDuplication (STATE)

State of parameter -allow-duplication

kernel.parameters.signalAllowDuplication (SIGNAL)

Signal for state allowDuplication

kernel.parameters.getAllowDuplication (GET)

Getter for state allowDuplication

input ::= null

output ::= boolean

kernel.parameters.setAllowDuplication (SET)

Setter for state allowDuplication

input ::= boolean

output ::= null

kernel.parameters.removeExn (STATE)

State of parameter -remove-exn

kernel.parameters.signalRemoveExn (SIGNAL)

Signal for state removeExn

kernel.parameters.getRemoveExn (GET)

Getter for state removeExn

input ::= null

output ::= boolean

kernel.parameters.setRemoveExn (SET)

Setter for state removeExn

input ::= boolean

output ::= null

kernel.parameters.inlineStmtContracts (STATE)

State of parameter -inline-stmt-contracts

kernel.parameters.signalInlineStmtContracts (SIGNAL)

Signal for state inlineStmtContracts

kernel.parameters.getInlineStmtContracts (GET)

Getter for state inlineStmtContracts

input ::= null

output ::= boolean

kernel.parameters.setInlineStmtContracts (SET)

Setter for state inlineStmtContracts

input ::= boolean

output ::= null

kernel.parameters.asmContractsAutoValidate (STATE)

State of parameter -asm-contracts-auto-validate

kernel.parameters.signalAsmContractsAutoValidate (SIGNAL)

Signal for state asmContractsAutoValidate

kernel.parameters.getAsmContractsAutoValidate (GET)

Getter for state asmContractsAutoValidate

input ::= null

output ::= boolean

kernel.parameters.setAsmContractsAutoValidate (SET)

Setter for state asmContractsAutoValidate

input ::= boolean

output ::= null

kernel.parameters.asmContractsEnsureInit (STATE)

State of parameter -asm-contracts-ensure-init

kernel.parameters.signalAsmContractsEnsureInit (SIGNAL)

Signal for state asmContractsEnsureInit

kernel.parameters.getAsmContractsEnsureInit (GET)

Getter for state asmContractsEnsureInit

input ::= null

output ::= boolean

kernel.parameters.setAsmContractsEnsureInit (SET)

Setter for state asmContractsEnsureInit

input ::= boolean

output ::= null

kernel.parameters.asmContracts (STATE)

State of parameter -asm-contracts

kernel.parameters.signalAsmContracts (SIGNAL)

Signal for state asmContracts

kernel.parameters.getAsmContracts (GET)

Getter for state asmContracts

input ::= null

output ::= boolean

kernel.parameters.setAsmContracts (SET)

Setter for state asmContracts

input ::= boolean

output ::= null

kernel.parameters.aggressiveMerging (STATE)

State of parameter -aggressive-merging

kernel.parameters.signalAggressiveMerging (SIGNAL)

Signal for state aggressiveMerging

kernel.parameters.getAggressiveMerging (GET)

Getter for state aggressiveMerging

input ::= null

output ::= boolean

kernel.parameters.setAggressiveMerging (SET)

Setter for state aggressiveMerging

input ::= boolean

output ::= null

kernel.parameters.initializedPaddingLocals (STATE)

State of parameter -initialized-padding-locals

kernel.parameters.signalInitializedPaddingLocals (SIGNAL)

Signal for state initializedPaddingLocals

kernel.parameters.getInitializedPaddingLocals (GET)

Getter for state initializedPaddingLocals

input ::= null

output ::= boolean

kernel.parameters.setInitializedPaddingLocals (SET)

Setter for state initializedPaddingLocals

input ::= boolean

output ::= null

kernel.parameters.constfold (STATE)

State of parameter -constfold

kernel.parameters.signalConstfold (SIGNAL)

Signal for state constfold

kernel.parameters.getConstfold (GET)

Getter for state constfold

input ::= null

output ::= boolean

kernel.parameters.setConstfold (SET)

Setter for state constfold

input ::= boolean

output ::= null

kernel.parameters.simplifyTrivialLoops (STATE)

State of parameter -simplify-trivial-loops

kernel.parameters.signalSimplifyTrivialLoops (SIGNAL)

Signal for state simplifyTrivialLoops

kernel.parameters.getSimplifyTrivialLoops (GET)

Getter for state simplifyTrivialLoops

input ::= null

output ::= boolean

kernel.parameters.setSimplifyTrivialLoops (SET)

Setter for state simplifyTrivialLoops

input ::= boolean

output ::= null

kernel.parameters.keepUnusedTypes (STATE)

State of parameter -keep-unused-types

kernel.parameters.signalKeepUnusedTypes (SIGNAL)

Signal for state keepUnusedTypes

kernel.parameters.getKeepUnusedTypes (GET)

Getter for state keepUnusedTypes

input ::= null

output ::= boolean

kernel.parameters.setKeepUnusedTypes (SET)

Setter for state keepUnusedTypes

input ::= boolean

output ::= null

kernel.parameters.keepUnusedFunctions (STATE)

State of parameter -keep-unused-functions

kernel.parameters.signalKeepUnusedFunctions (SIGNAL)

Signal for state keepUnusedFunctions

kernel.parameters.getKeepUnusedFunctions (GET)

Getter for state keepUnusedFunctions

input ::= null

output ::= string

kernel.parameters.setKeepUnusedFunctions (SET)

Setter for state keepUnusedFunctions

input ::= string

output ::= null

kernel.parameters.keepSwitch (STATE)

State of parameter -keep-switch

kernel.parameters.signalKeepSwitch (SIGNAL)

Signal for state keepSwitch

kernel.parameters.getKeepSwitch (GET)

Getter for state keepSwitch

input ::= null

output ::= boolean

kernel.parameters.setKeepSwitch (SET)

Setter for state keepSwitch

input ::= boolean

output ::= null

kernel.parameters.simplifyCfg (STATE)

State of parameter -simplify-cfg

kernel.parameters.signalSimplifyCfg (SIGNAL)

Signal for state simplifyCfg

kernel.parameters.getSimplifyCfg (GET)

Getter for state simplifyCfg

input ::= null

output ::= boolean

kernel.parameters.setSimplifyCfg (SET)

Setter for state simplifyCfg

input ::= boolean

output ::= null

kernel.parameters.enums (STATE)

State of parameter -enums

kernel.parameters.signalEnums (SIGNAL)

Signal for state enums

kernel.parameters.getEnums (GET)

Getter for state enums

input ::= null

output ::= string

kernel.parameters.setEnums (SET)

Setter for state enums

input ::= string

output ::= null

kernel.parameters.ulevelForce (STATE)

State of parameter -ulevel-force

kernel.parameters.signalUlevelForce (SIGNAL)

Signal for state ulevelForce

kernel.parameters.getUlevelForce (GET)

Getter for state ulevelForce

input ::= null

output ::= boolean

kernel.parameters.setUlevelForce (SET)

Setter for state ulevelForce

input ::= boolean

output ::= null

kernel.parameters.ulevel (STATE)

State of parameter -ulevel

kernel.parameters.signalUlevel (SIGNAL)

Signal for state ulevel

kernel.parameters.getUlevel (GET)

Getter for state ulevel

input ::= null

output ::= number

kernel.parameters.setUlevel (SET)

Setter for state ulevel

input ::= number

output ::= null

kernel.parameters.evaPrecision (STATE)

State of parameter -eva-precision

kernel.parameters.signalEvaPrecision (SIGNAL)

Signal for state evaPrecision

kernel.parameters.getEvaPrecision (GET)

Getter for state evaPrecision

input ::= null

output ::= number

kernel.parameters.setEvaPrecision (SET)

Setter for state evaPrecision

input ::= number

output ::= null

kernel.parameters.eva (STATE)

State of parameter -eva

kernel.parameters.signalEva (SIGNAL)

Signal for state eva

kernel.parameters.getEva (GET)

Getter for state eva

input ::= null

output ::= boolean

kernel.parameters.setEva (SET)

Setter for state eva

input ::= boolean

output ::= null

kernel.parameters.evaJoinResults (STATE)

State of parameter -eva-join-results

kernel.parameters.signalEvaJoinResults (SIGNAL)

Signal for state evaJoinResults

kernel.parameters.getEvaJoinResults (GET)

Getter for state evaJoinResults

input ::= null

output ::= boolean

kernel.parameters.setEvaJoinResults (SET)

Setter for state evaJoinResults

input ::= boolean

output ::= null

kernel.parameters.evaResults (STATE)

State of parameter -eva-results

kernel.parameters.signalEvaResults (SIGNAL)

Signal for state evaResults

kernel.parameters.getEvaResults (GET)

Getter for state evaResults

input ::= null

output ::= boolean

kernel.parameters.setEvaResults (SET)

Setter for state evaResults

input ::= boolean

output ::= null

kernel.parameters.evaNoResultsFunction (STATE)

State of parameter -eva-no-results-function

kernel.parameters.signalEvaNoResultsFunction (SIGNAL)

Signal for state evaNoResultsFunction

kernel.parameters.getEvaNoResultsFunction (GET)

Getter for state evaNoResultsFunction

input ::= null

output ::= string

kernel.parameters.setEvaNoResultsFunction (SET)

Setter for state evaNoResultsFunction

input ::= string

output ::= null

kernel.parameters.evaNoResultsDomain (STATE)

State of parameter -eva-no-results-domain

kernel.parameters.signalEvaNoResultsDomain (SIGNAL)

Signal for state evaNoResultsDomain

kernel.parameters.getEvaNoResultsDomain (GET)

Getter for state evaNoResultsDomain

input ::= null

output ::= string

kernel.parameters.setEvaNoResultsDomain (SET)

Setter for state evaNoResultsDomain

input ::= string

output ::= null

kernel.parameters.evaReductionDepth (STATE)

State of parameter -eva-reduction-depth

kernel.parameters.signalEvaReductionDepth (SIGNAL)

Signal for state evaReductionDepth

kernel.parameters.getEvaReductionDepth (GET)

Getter for state evaReductionDepth

input ::= null

output ::= number

kernel.parameters.setEvaReductionDepth (SET)

Setter for state evaReductionDepth

input ::= number

output ::= null

kernel.parameters.evaOracleDepth (STATE)

State of parameter -eva-oracle-depth

kernel.parameters.signalEvaOracleDepth (SIGNAL)

Signal for state evaOracleDepth

kernel.parameters.getEvaOracleDepth (GET)

Getter for state evaOracleDepth

input ::= null

output ::= number

kernel.parameters.setEvaOracleDepth (SET)

Setter for state evaOracleDepth

input ::= number

output ::= null

kernel.parameters.evaEnumerateCond (STATE)

State of parameter -eva-enumerate-cond

kernel.parameters.signalEvaEnumerateCond (SIGNAL)

Signal for state evaEnumerateCond

kernel.parameters.getEvaEnumerateCond (GET)

Getter for state evaEnumerateCond

input ::= null

output ::= boolean

kernel.parameters.setEvaEnumerateCond (SET)

Setter for state evaEnumerateCond

input ::= boolean

output ::= null

kernel.parameters.evaPlevel (STATE)

State of parameter -eva-plevel

kernel.parameters.signalEvaPlevel (SIGNAL)

Signal for state evaPlevel

kernel.parameters.getEvaPlevel (GET)

Getter for state evaPlevel

input ::= null

output ::= number

kernel.parameters.setEvaPlevel (SET)

Setter for state evaPlevel

input ::= number

output ::= null

kernel.parameters.evaMemexec (STATE)

State of parameter -eva-memexec

kernel.parameters.signalEvaMemexec (SIGNAL)

Signal for state evaMemexec

kernel.parameters.getEvaMemexec (GET)

Getter for state evaMemexec

input ::= null

output ::= boolean

kernel.parameters.setEvaMemexec (SET)

Setter for state evaMemexec

input ::= boolean

output ::= null

kernel.parameters.evaRemoveRedundantAlarms (STATE)

State of parameter -eva-remove-redundant-alarms

kernel.parameters.signalEvaRemoveRedundantAlarms (SIGNAL)

Signal for state evaRemoveRedundantAlarms

kernel.parameters.getEvaRemoveRedundantAlarms (GET)

Getter for state evaRemoveRedundantAlarms

input ::= null

output ::= boolean

kernel.parameters.setEvaRemoveRedundantAlarms (SET)

Setter for state evaRemoveRedundantAlarms

input ::= boolean

output ::= null

kernel.parameters.evaSkipStdlibSpecs (STATE)

State of parameter -eva-skip-stdlib-specs

kernel.parameters.signalEvaSkipStdlibSpecs (SIGNAL)

Signal for state evaSkipStdlibSpecs

kernel.parameters.getEvaSkipStdlibSpecs (GET)

Getter for state evaSkipStdlibSpecs

input ::= null

output ::= boolean

kernel.parameters.setEvaSkipStdlibSpecs (SET)

Setter for state evaSkipStdlibSpecs

input ::= boolean

output ::= null

kernel.parameters.evaUseSpec (STATE)

State of parameter -eva-use-spec

kernel.parameters.signalEvaUseSpec (SIGNAL)

Signal for state evaUseSpec

kernel.parameters.getEvaUseSpec (GET)

Getter for state evaUseSpec

input ::= null

output ::= string

kernel.parameters.setEvaUseSpec (SET)

Setter for state evaUseSpec

input ::= string

output ::= null

kernel.parameters.evaSubdivideNonLinearFunction (STATE)

State of parameter -eva-subdivide-non-linear-function

kernel.parameters.signalEvaSubdivideNonLinearFunction (SIGNAL)

Signal for state evaSubdivideNonLinearFunction

kernel.parameters.getEvaSubdivideNonLinearFunction (GET)

Getter for state evaSubdivideNonLinearFunction

input ::= null

output ::= string

kernel.parameters.setEvaSubdivideNonLinearFunction (SET)

Setter for state evaSubdivideNonLinearFunction

input ::= string

output ::= null

kernel.parameters.evaSubdivideNonLinear (STATE)

State of parameter -eva-subdivide-non-linear

kernel.parameters.signalEvaSubdivideNonLinear (SIGNAL)

Signal for state evaSubdivideNonLinear

kernel.parameters.getEvaSubdivideNonLinear (GET)

Getter for state evaSubdivideNonLinear

input ::= null

output ::= number

kernel.parameters.setEvaSubdivideNonLinear (SET)

Setter for state evaSubdivideNonLinear

input ::= number

output ::= null

kernel.parameters.evaBuiltinsList (STATE)

State of parameter -eva-builtins-list

kernel.parameters.signalEvaBuiltinsList (SIGNAL)

Signal for state evaBuiltinsList

kernel.parameters.getEvaBuiltinsList (GET)

Getter for state evaBuiltinsList

input ::= null

output ::= boolean

kernel.parameters.setEvaBuiltinsList (SET)

Setter for state evaBuiltinsList

input ::= boolean

output ::= null

kernel.parameters.evaBuiltinsAuto (STATE)

State of parameter -eva-builtins-auto

kernel.parameters.signalEvaBuiltinsAuto (SIGNAL)

Signal for state evaBuiltinsAuto

kernel.parameters.getEvaBuiltinsAuto (GET)

Getter for state evaBuiltinsAuto

input ::= null

output ::= boolean

kernel.parameters.setEvaBuiltinsAuto (SET)

Setter for state evaBuiltinsAuto

input ::= boolean

output ::= null

kernel.parameters.evaBuiltin (STATE)

State of parameter -eva-builtin

kernel.parameters.signalEvaBuiltin (SIGNAL)

Signal for state evaBuiltin

kernel.parameters.getEvaBuiltin (GET)

Getter for state evaBuiltin

input ::= null

output ::= string

kernel.parameters.setEvaBuiltin (SET)

Setter for state evaBuiltin

input ::= string

output ::= null

kernel.parameters.evaIlevel (STATE)

State of parameter -eva-ilevel

kernel.parameters.signalEvaIlevel (SIGNAL)

Signal for state evaIlevel

kernel.parameters.getEvaIlevel (GET)

Getter for state evaIlevel

input ::= null

output ::= number

kernel.parameters.setEvaIlevel (SET)

Setter for state evaIlevel

input ::= number

output ::= null

kernel.parameters.evaSplitReturn (STATE)

State of parameter -eva-split-return

kernel.parameters.signalEvaSplitReturn (SIGNAL)

Signal for state evaSplitReturn

kernel.parameters.getEvaSplitReturn (GET)

Getter for state evaSplitReturn

input ::= null

output ::= string

kernel.parameters.setEvaSplitReturn (SET)

Setter for state evaSplitReturn

input ::= string

output ::= null

kernel.parameters.evaSplitReturnFunction (STATE)

State of parameter -eva-split-return-function

kernel.parameters.signalEvaSplitReturnFunction (SIGNAL)

Signal for state evaSplitReturnFunction

kernel.parameters.getEvaSplitReturnFunction (GET)

Getter for state evaSplitReturnFunction

input ::= null

output ::= string

kernel.parameters.setEvaSplitReturnFunction (SET)

Setter for state evaSplitReturnFunction

input ::= string

output ::= null

kernel.parameters.evaInterproceduralHistory (STATE)

State of parameter -eva-interprocedural-history

kernel.parameters.signalEvaInterproceduralHistory (SIGNAL)

Signal for state evaInterproceduralHistory

kernel.parameters.getEvaInterproceduralHistory (GET)

Getter for state evaInterproceduralHistory

input ::= null

output ::= boolean

kernel.parameters.setEvaInterproceduralHistory (SET)

Setter for state evaInterproceduralHistory

input ::= boolean

output ::= null

kernel.parameters.evaInterproceduralSplits (STATE)

State of parameter -eva-interprocedural-splits

kernel.parameters.signalEvaInterproceduralSplits (SIGNAL)

Signal for state evaInterproceduralSplits

kernel.parameters.getEvaInterproceduralSplits (GET)

Getter for state evaInterproceduralSplits

input ::= null

output ::= boolean

kernel.parameters.setEvaInterproceduralSplits (SET)

Setter for state evaInterproceduralSplits

input ::= boolean

output ::= null

kernel.parameters.evaSplitLimit (STATE)

State of parameter -eva-split-limit

kernel.parameters.signalEvaSplitLimit (SIGNAL)

Signal for state evaSplitLimit

kernel.parameters.getEvaSplitLimit (GET)

Getter for state evaSplitLimit

input ::= null

output ::= number

kernel.parameters.setEvaSplitLimit (SET)

Setter for state evaSplitLimit

input ::= number

output ::= null

kernel.parameters.evaPartitionValue (STATE)

State of parameter -eva-partition-value

kernel.parameters.signalEvaPartitionValue (SIGNAL)

Signal for state evaPartitionValue

kernel.parameters.getEvaPartitionValue (GET)

Getter for state evaPartitionValue

input ::= null

output ::= string

kernel.parameters.setEvaPartitionValue (SET)

Setter for state evaPartitionValue

input ::= string

output ::= null

kernel.parameters.evaPartitionHistory (STATE)

State of parameter -eva-partition-history

kernel.parameters.signalEvaPartitionHistory (SIGNAL)

Signal for state evaPartitionHistory

kernel.parameters.getEvaPartitionHistory (GET)

Getter for state evaPartitionHistory

input ::= null

output ::= number

kernel.parameters.setEvaPartitionHistory (SET)

Setter for state evaPartitionHistory

input ::= number

output ::= null

kernel.parameters.evaDefaultLoopUnroll (STATE)

State of parameter -eva-default-loop-unroll

kernel.parameters.signalEvaDefaultLoopUnroll (SIGNAL)

Signal for state evaDefaultLoopUnroll

kernel.parameters.getEvaDefaultLoopUnroll (GET)

Getter for state evaDefaultLoopUnroll

input ::= null

output ::= number

kernel.parameters.setEvaDefaultLoopUnroll (SET)

Setter for state evaDefaultLoopUnroll

input ::= number

output ::= null

kernel.parameters.evaAutoLoopUnroll (STATE)

State of parameter -eva-auto-loop-unroll

kernel.parameters.signalEvaAutoLoopUnroll (SIGNAL)

Signal for state evaAutoLoopUnroll

kernel.parameters.getEvaAutoLoopUnroll (GET)

Getter for state evaAutoLoopUnroll

input ::= null

output ::= number

kernel.parameters.setEvaAutoLoopUnroll (SET)

Setter for state evaAutoLoopUnroll

input ::= number

output ::= null

kernel.parameters.evaMinLoopUnroll (STATE)

State of parameter -eva-min-loop-unroll

kernel.parameters.signalEvaMinLoopUnroll (SIGNAL)

Signal for state evaMinLoopUnroll

kernel.parameters.getEvaMinLoopUnroll (GET)

Getter for state evaMinLoopUnroll

input ::= null

output ::= number

kernel.parameters.setEvaMinLoopUnroll (SET)

Setter for state evaMinLoopUnroll

input ::= number

output ::= null

kernel.parameters.evaSlevelMergeAfterLoop (STATE)

State of parameter -eva-slevel-merge-after-loop

kernel.parameters.signalEvaSlevelMergeAfterLoop (SIGNAL)

Signal for state evaSlevelMergeAfterLoop

kernel.parameters.getEvaSlevelMergeAfterLoop (GET)

Getter for state evaSlevelMergeAfterLoop

input ::= null

output ::= string

kernel.parameters.setEvaSlevelMergeAfterLoop (SET)

Setter for state evaSlevelMergeAfterLoop

input ::= string

output ::= null

kernel.parameters.evaSlevelFunction (STATE)

State of parameter -eva-slevel-function

kernel.parameters.signalEvaSlevelFunction (SIGNAL)

Signal for state evaSlevelFunction

kernel.parameters.getEvaSlevelFunction (GET)

Getter for state evaSlevelFunction

input ::= null

output ::= string

kernel.parameters.setEvaSlevelFunction (SET)

Setter for state evaSlevelFunction

input ::= string

output ::= null

kernel.parameters.evaSlevel (STATE)

State of parameter -eva-slevel

kernel.parameters.signalEvaSlevel (SIGNAL)

Signal for state evaSlevel

kernel.parameters.getEvaSlevel (GET)

Getter for state evaSlevel

input ::= null

output ::= number

kernel.parameters.setEvaSlevel (SET)

Setter for state evaSlevel

input ::= number

output ::= null

kernel.parameters.evaUnrollRecursiveCalls (STATE)

State of parameter -eva-unroll-recursive-calls

kernel.parameters.signalEvaUnrollRecursiveCalls (SIGNAL)

Signal for state evaUnrollRecursiveCalls

kernel.parameters.getEvaUnrollRecursiveCalls (GET)

Getter for state evaUnrollRecursiveCalls

input ::= null

output ::= number

kernel.parameters.setEvaUnrollRecursiveCalls (SET)

Setter for state evaUnrollRecursiveCalls

input ::= number

output ::= null

kernel.parameters.evaWideningPeriod (STATE)

State of parameter -eva-widening-period

kernel.parameters.signalEvaWideningPeriod (SIGNAL)

Signal for state evaWideningPeriod

kernel.parameters.getEvaWideningPeriod (GET)

Getter for state evaWideningPeriod

input ::= null

output ::= number

kernel.parameters.setEvaWideningPeriod (SET)

Setter for state evaWideningPeriod

input ::= number

output ::= null

kernel.parameters.evaWideningDelay (STATE)

State of parameter -eva-widening-delay

kernel.parameters.signalEvaWideningDelay (SIGNAL)

Signal for state evaWideningDelay

kernel.parameters.getEvaWideningDelay (GET)

Getter for state evaWideningDelay

input ::= null

output ::= number

kernel.parameters.setEvaWideningDelay (SET)

Setter for state evaWideningDelay

input ::= number

output ::= null

kernel.parameters.evaForcePrintSummary (STATE)

State of parameter -eva-force-print-summary

kernel.parameters.signalEvaForcePrintSummary (SIGNAL)

Signal for state evaForcePrintSummary

kernel.parameters.getEvaForcePrintSummary (GET)

Getter for state evaForcePrintSummary

input ::= null

output ::= boolean

kernel.parameters.setEvaForcePrintSummary (SET)

Setter for state evaForcePrintSummary

input ::= boolean

output ::= null

kernel.parameters.evaStatisticsFile (STATE)

State of parameter -eva-statistics-file

kernel.parameters.signalEvaStatisticsFile (SIGNAL)

Signal for state evaStatisticsFile

kernel.parameters.getEvaStatisticsFile (GET)

Getter for state evaStatisticsFile

input ::= null

output ::= string

kernel.parameters.setEvaStatisticsFile (SET)

Setter for state evaStatisticsFile

input ::= string

output ::= null

kernel.parameters.evaNumerorsLogFile (STATE)

State of parameter -eva-numerors-log-file

kernel.parameters.signalEvaNumerorsLogFile (SIGNAL)

Signal for state evaNumerorsLogFile

kernel.parameters.getEvaNumerorsLogFile (GET)

Getter for state evaNumerorsLogFile

input ::= null

output ::= string

kernel.parameters.setEvaNumerorsLogFile (SET)

Setter for state evaNumerorsLogFile

input ::= string

output ::= null

kernel.parameters.evaReportRedStatuses (STATE)

State of parameter -eva-report-red-statuses

kernel.parameters.signalEvaReportRedStatuses (SIGNAL)

Signal for state evaReportRedStatuses

kernel.parameters.getEvaReportRedStatuses (GET)

Getter for state evaReportRedStatuses

input ::= null

output ::= string

kernel.parameters.setEvaReportRedStatuses (SET)

Setter for state evaReportRedStatuses

input ::= string

output ::= null

kernel.parameters.evaPrintCallstacks (STATE)

State of parameter -eva-print-callstacks

kernel.parameters.signalEvaPrintCallstacks (SIGNAL)

Signal for state evaPrintCallstacks

kernel.parameters.getEvaPrintCallstacks (GET)

Getter for state evaPrintCallstacks

input ::= null

output ::= boolean

kernel.parameters.setEvaPrintCallstacks (SET)

Setter for state evaPrintCallstacks

input ::= boolean

output ::= null

kernel.parameters.evaShowSlevel (STATE)

State of parameter -eva-show-slevel

kernel.parameters.signalEvaShowSlevel (SIGNAL)

Signal for state evaShowSlevel

kernel.parameters.getEvaShowSlevel (GET)

Getter for state evaShowSlevel

input ::= null

output ::= number

kernel.parameters.setEvaShowSlevel (SET)

Setter for state evaShowSlevel

input ::= number

output ::= null

kernel.parameters.evaFlamegraph (STATE)

State of parameter -eva-flamegraph

kernel.parameters.signalEvaFlamegraph (SIGNAL)

Signal for state evaFlamegraph

kernel.parameters.getEvaFlamegraph (GET)

Getter for state evaFlamegraph

input ::= null

output ::= string

kernel.parameters.setEvaFlamegraph (SET)

Setter for state evaFlamegraph

input ::= string

output ::= null

kernel.parameters.evaShowPerf (STATE)

State of parameter -eva-show-perf

kernel.parameters.signalEvaShowPerf (SIGNAL)

Signal for state evaShowPerf

kernel.parameters.getEvaShowPerf (GET)

Getter for state evaShowPerf

input ::= null

output ::= boolean

kernel.parameters.setEvaShowPerf (SET)

Setter for state evaShowPerf

input ::= boolean

output ::= null

kernel.parameters.evaShowProgress (STATE)

State of parameter -eva-show-progress

kernel.parameters.signalEvaShowProgress (SIGNAL)

Signal for state evaShowProgress

kernel.parameters.getEvaShowProgress (GET)

Getter for state evaShowProgress

input ::= null

output ::= boolean

kernel.parameters.setEvaShowProgress (SET)

Setter for state evaShowProgress

input ::= boolean

output ::= null

kernel.parameters.evaPrint (STATE)

State of parameter -eva-print

kernel.parameters.signalEvaPrint (SIGNAL)

Signal for state evaPrint

kernel.parameters.getEvaPrint (GET)

Getter for state evaPrint

input ::= null

output ::= boolean

kernel.parameters.setEvaPrint (SET)

Setter for state evaPrint

input ::= boolean

output ::= null

kernel.parameters.evaWarnKey (STATE)

State of parameter -eva-warn-key

kernel.parameters.signalEvaWarnKey (SIGNAL)

Signal for state evaWarnKey

kernel.parameters.getEvaWarnKey (GET)

Getter for state evaWarnKey

input ::= null

output ::= string

kernel.parameters.setEvaWarnKey (SET)

Setter for state evaWarnKey

input ::= string

output ::= null

kernel.parameters.evaMsgKey (STATE)

State of parameter -eva-msg-key

kernel.parameters.signalEvaMsgKey (SIGNAL)

Signal for state evaMsgKey

kernel.parameters.getEvaMsgKey (GET)

Getter for state evaMsgKey

input ::= null

output ::= string

kernel.parameters.setEvaMsgKey (SET)

Setter for state evaMsgKey

input ::= string

output ::= null

kernel.parameters.evaDebug (STATE)

State of parameter -eva-debug

kernel.parameters.signalEvaDebug (SIGNAL)

Signal for state evaDebug

kernel.parameters.getEvaDebug (GET)

Getter for state evaDebug

input ::= null

output ::= number

kernel.parameters.setEvaDebug (SET)

Setter for state evaDebug

input ::= number

output ::= null

kernel.parameters.evaVerbose (STATE)

State of parameter -eva-verbose

kernel.parameters.signalEvaVerbose (SIGNAL)

Signal for state evaVerbose

kernel.parameters.getEvaVerbose (GET)

Getter for state evaVerbose

input ::= null

output ::= number

kernel.parameters.setEvaVerbose (SET)

Setter for state evaVerbose

input ::= number

output ::= null

kernel.parameters.evaLog (STATE)

State of parameter -eva-log

kernel.parameters.signalEvaLog (SIGNAL)

Signal for state evaLog

kernel.parameters.getEvaLog (GET)

Getter for state evaLog

input ::= null

output ::= string

kernel.parameters.setEvaLog (SET)

Setter for state evaLog

input ::= string

output ::= null

kernel.parameters.evaInitializationPaddingGlobals (STATE)

State of parameter -eva-initialization-padding-globals

kernel.parameters.signalEvaInitializationPaddingGlobals (SIGNAL)

Signal for state evaInitializationPaddingGlobals

kernel.parameters.getEvaInitializationPaddingGlobals (GET)

Getter for state evaInitializationPaddingGlobals

input ::= null

output ::= string

kernel.parameters.setEvaInitializationPaddingGlobals (SET)

Setter for state evaInitializationPaddingGlobals

input ::= string

output ::= null

kernel.parameters.evaContextValidPointers (STATE)

State of parameter -eva-context-valid-pointers

kernel.parameters.signalEvaContextValidPointers (SIGNAL)

Signal for state evaContextValidPointers

kernel.parameters.getEvaContextValidPointers (GET)

Getter for state evaContextValidPointers

input ::= null

output ::= boolean

kernel.parameters.setEvaContextValidPointers (SET)

Setter for state evaContextValidPointers

input ::= boolean

output ::= null

kernel.parameters.evaContextWidth (STATE)

State of parameter -eva-context-width

kernel.parameters.signalEvaContextWidth (SIGNAL)

Signal for state evaContextWidth

kernel.parameters.getEvaContextWidth (GET)

Getter for state evaContextWidth

input ::= null

output ::= number

kernel.parameters.setEvaContextWidth (SET)

Setter for state evaContextWidth

input ::= number

output ::= null

kernel.parameters.evaContextDepth (STATE)

State of parameter -eva-context-depth

kernel.parameters.signalEvaContextDepth (SIGNAL)

Signal for state evaContextDepth

kernel.parameters.getEvaContextDepth (GET)

Getter for state evaContextDepth

input ::= null

output ::= number

kernel.parameters.setEvaContextDepth (SET)

Setter for state evaContextDepth

input ::= number

output ::= null

kernel.parameters.evaMlevel (STATE)

State of parameter -eva-mlevel

kernel.parameters.signalEvaMlevel (SIGNAL)

Signal for state evaMlevel

kernel.parameters.getEvaMlevel (GET)

Getter for state evaMlevel

input ::= null

output ::= number

kernel.parameters.setEvaMlevel (SET)

Setter for state evaMlevel

input ::= number

output ::= null

kernel.parameters.evaAllocReturnsNull (STATE)

State of parameter -eva-alloc-returns-null

kernel.parameters.signalEvaAllocReturnsNull (SIGNAL)

Signal for state evaAllocReturnsNull

kernel.parameters.getEvaAllocReturnsNull (GET)

Getter for state evaAllocReturnsNull

input ::= null

output ::= boolean

kernel.parameters.setEvaAllocReturnsNull (SET)

Setter for state evaAllocReturnsNull

input ::= boolean

output ::= null

kernel.parameters.evaAllocFunctions (STATE)

State of parameter -eva-alloc-functions

kernel.parameters.signalEvaAllocFunctions (SIGNAL)

Signal for state evaAllocFunctions

kernel.parameters.getEvaAllocFunctions (GET)

Getter for state evaAllocFunctions

input ::= null

output ::= string

kernel.parameters.setEvaAllocFunctions (SET)

Setter for state evaAllocFunctions

input ::= string

output ::= null

kernel.parameters.evaAllocBuiltin (STATE)

State of parameter -eva-alloc-builtin

kernel.parameters.signalEvaAllocBuiltin (SIGNAL)

Signal for state evaAllocBuiltin

kernel.parameters.getEvaAllocBuiltin (GET)

Getter for state evaAllocBuiltin

input ::= null

output ::= string

kernel.parameters.setEvaAllocBuiltin (SET)

Setter for state evaAllocBuiltin

input ::= string

output ::= null

kernel.parameters.evaInitializedLocals (STATE)

State of parameter -eva-initialized-locals

kernel.parameters.signalEvaInitializedLocals (SIGNAL)

Signal for state evaInitializedLocals

kernel.parameters.getEvaInitializedLocals (GET)

Getter for state evaInitializedLocals

input ::= null

output ::= boolean

kernel.parameters.setEvaInitializedLocals (SET)

Setter for state evaInitializedLocals

input ::= boolean

output ::= null

kernel.parameters.evaReduceOnLogicAlarms (STATE)

State of parameter -eva-reduce-on-logic-alarms

kernel.parameters.signalEvaReduceOnLogicAlarms (SIGNAL)

Signal for state evaReduceOnLogicAlarms

kernel.parameters.getEvaReduceOnLogicAlarms (GET)

Getter for state evaReduceOnLogicAlarms

input ::= null

output ::= boolean

kernel.parameters.setEvaReduceOnLogicAlarms (SET)

Setter for state evaReduceOnLogicAlarms

input ::= boolean

output ::= null

kernel.parameters.evaWarnCopyIndeterminate (STATE)

State of parameter -eva-warn-copy-indeterminate

kernel.parameters.signalEvaWarnCopyIndeterminate (SIGNAL)

Signal for state evaWarnCopyIndeterminate

kernel.parameters.getEvaWarnCopyIndeterminate (GET)

Getter for state evaWarnCopyIndeterminate

input ::= null

output ::= string

kernel.parameters.setEvaWarnCopyIndeterminate (SET)

Setter for state evaWarnCopyIndeterminate

input ::= string

output ::= null

kernel.parameters.evaWarnPointerSubtraction (STATE)

State of parameter -eva-warn-pointer-subtraction

kernel.parameters.signalEvaWarnPointerSubtraction (SIGNAL)

Signal for state evaWarnPointerSubtraction

kernel.parameters.getEvaWarnPointerSubtraction (GET)

Getter for state evaWarnPointerSubtraction

input ::= null

output ::= boolean

kernel.parameters.setEvaWarnPointerSubtraction (SET)

Setter for state evaWarnPointerSubtraction

input ::= boolean

output ::= null

kernel.parameters.evaWarnSignedConvertedDowncast (STATE)

State of parameter -eva-warn-signed-converted-downcast

kernel.parameters.signalEvaWarnSignedConvertedDowncast (SIGNAL)

Signal for state evaWarnSignedConvertedDowncast

kernel.parameters.getEvaWarnSignedConvertedDowncast (GET)

Getter for state evaWarnSignedConvertedDowncast

input ::= null

output ::= boolean

kernel.parameters.setEvaWarnSignedConvertedDowncast (SET)

Setter for state evaWarnSignedConvertedDowncast

input ::= boolean

output ::= null

kernel.parameters.evaWarnUndefinedPointerComparison (STATE)

State of parameter -eva-warn-undefined-pointer-comparison

kernel.parameters.signalEvaWarnUndefinedPointerComparison (SIGNAL)

Signal for state evaWarnUndefinedPointerComparison

kernel.parameters.getEvaWarnUndefinedPointerComparison (GET)

Getter for state evaWarnUndefinedPointerComparison

input ::= null

output ::= string

kernel.parameters.setEvaWarnUndefinedPointerComparison (SET)

Setter for state evaWarnUndefinedPointerComparison

input ::= string

output ::= null

kernel.parameters.evaUndefinedPointerComparisonPropagateAll (STATE)

State of parameter -eva-undefined-pointer-comparison-propagate-all

kernel.parameters.signalEvaUndefinedPointerComparisonPropagateAll (SIGNAL)

Signal for state evaUndefinedPointerComparisonPropagateAll

kernel.parameters.getEvaUndefinedPointerComparisonPropagateAll (GET)

Getter for state evaUndefinedPointerComparisonPropagateAll

input ::= null

output ::= boolean

kernel.parameters.setEvaUndefinedPointerComparisonPropagateAll (SET)

Setter for state evaUndefinedPointerComparisonPropagateAll

input ::= boolean

output ::= null

kernel.parameters.evaMultidimDisjunctiveInvariants (STATE)

State of parameter -eva-multidim-disjunctive-invariants

kernel.parameters.signalEvaMultidimDisjunctiveInvariants (SIGNAL)

Signal for state evaMultidimDisjunctiveInvariants

kernel.parameters.getEvaMultidimDisjunctiveInvariants (GET)

Getter for state evaMultidimDisjunctiveInvariants

input ::= null

output ::= boolean

kernel.parameters.setEvaMultidimDisjunctiveInvariants (SET)

Setter for state evaMultidimDisjunctiveInvariants

input ::= boolean

output ::= null

kernel.parameters.evaMultidimSegmentLimit (STATE)

State of parameter -eva-multidim-segment-limit

kernel.parameters.signalEvaMultidimSegmentLimit (SIGNAL)

Signal for state evaMultidimSegmentLimit

kernel.parameters.getEvaMultidimSegmentLimit (GET)

Getter for state evaMultidimSegmentLimit

input ::= null

output ::= number

kernel.parameters.setEvaMultidimSegmentLimit (SET)

Setter for state evaMultidimSegmentLimit

input ::= number

output ::= null

kernel.parameters.evaTracesProject (STATE)

State of parameter -eva-traces-project

kernel.parameters.signalEvaTracesProject (SIGNAL)

Signal for state evaTracesProject

kernel.parameters.getEvaTracesProject (GET)

Getter for state evaTracesProject

input ::= null

output ::= boolean

kernel.parameters.setEvaTracesProject (SET)

Setter for state evaTracesProject

input ::= boolean

output ::= null

kernel.parameters.evaTracesDot (STATE)

State of parameter -eva-traces-dot

kernel.parameters.signalEvaTracesDot (SIGNAL)

Signal for state evaTracesDot

kernel.parameters.getEvaTracesDot (GET)

Getter for state evaTracesDot

input ::= null

output ::= string

kernel.parameters.setEvaTracesDot (SET)

Setter for state evaTracesDot

input ::= string

output ::= null

kernel.parameters.evaTracesUnifyLoop (STATE)

State of parameter -eva-traces-unify-loop

kernel.parameters.signalEvaTracesUnifyLoop (SIGNAL)

Signal for state evaTracesUnifyLoop

kernel.parameters.getEvaTracesUnifyLoop (GET)

Getter for state evaTracesUnifyLoop

input ::= null

output ::= boolean

kernel.parameters.setEvaTracesUnifyLoop (SET)

Setter for state evaTracesUnifyLoop

input ::= boolean

output ::= null

kernel.parameters.evaTracesUnrollLoop (STATE)

State of parameter -eva-traces-unroll-loop

kernel.parameters.signalEvaTracesUnrollLoop (SIGNAL)

Signal for state evaTracesUnrollLoop

kernel.parameters.getEvaTracesUnrollLoop (GET)

Getter for state evaTracesUnrollLoop

input ::= null

output ::= boolean

kernel.parameters.setEvaTracesUnrollLoop (SET)

Setter for state evaTracesUnrollLoop

input ::= boolean

output ::= null

kernel.parameters.evaNumerorsInteraction (STATE)

State of parameter -eva-numerors-interaction

kernel.parameters.signalEvaNumerorsInteraction (SIGNAL)

Signal for state evaNumerorsInteraction

kernel.parameters.getEvaNumerorsInteraction (GET)

Getter for state evaNumerorsInteraction

input ::= null

output ::= string

kernel.parameters.setEvaNumerorsInteraction (SET)

Setter for state evaNumerorsInteraction

input ::= string

output ::= null

kernel.parameters.evaNumerorsRealSize (STATE)

State of parameter -eva-numerors-real-size

kernel.parameters.signalEvaNumerorsRealSize (SIGNAL)

Signal for state evaNumerorsRealSize

kernel.parameters.getEvaNumerorsRealSize (GET)

Getter for state evaNumerorsRealSize

input ::= null

output ::= number

kernel.parameters.setEvaNumerorsRealSize (SET)

Setter for state evaNumerorsRealSize

input ::= number

output ::= null

kernel.parameters.evaOctagonThroughCalls (STATE)

State of parameter -eva-octagon-through-calls

kernel.parameters.signalEvaOctagonThroughCalls (SIGNAL)

Signal for state evaOctagonThroughCalls

kernel.parameters.getEvaOctagonThroughCalls (GET)

Getter for state evaOctagonThroughCalls

input ::= null

output ::= boolean

kernel.parameters.setEvaOctagonThroughCalls (SET)

Setter for state evaOctagonThroughCalls

input ::= boolean

output ::= null

kernel.parameters.evaEqualityThroughCallsFunction (STATE)

State of parameter -eva-equality-through-calls-function

kernel.parameters.signalEvaEqualityThroughCallsFunction (SIGNAL)

Signal for state evaEqualityThroughCallsFunction

kernel.parameters.getEvaEqualityThroughCallsFunction (GET)

Getter for state evaEqualityThroughCallsFunction

input ::= null

output ::= string

kernel.parameters.setEvaEqualityThroughCallsFunction (SET)

Setter for state evaEqualityThroughCallsFunction

input ::= string

output ::= null

kernel.parameters.evaEqualityThroughCalls (STATE)

State of parameter -eva-equality-through-calls

kernel.parameters.signalEvaEqualityThroughCalls (SIGNAL)

Signal for state evaEqualityThroughCalls

kernel.parameters.getEvaEqualityThroughCalls (GET)

Getter for state evaEqualityThroughCalls

input ::= null

output ::= string

kernel.parameters.setEvaEqualityThroughCalls (SET)

Setter for state evaEqualityThroughCalls

input ::= string

output ::= null

kernel.parameters.evaDomainsFunction (STATE)

State of parameter -eva-domains-function

kernel.parameters.signalEvaDomainsFunction (SIGNAL)

Signal for state evaDomainsFunction

kernel.parameters.getEvaDomainsFunction (GET)

Getter for state evaDomainsFunction

input ::= null

output ::= string

kernel.parameters.setEvaDomainsFunction (SET)

Setter for state evaDomainsFunction

input ::= string

output ::= null

kernel.parameters.evaDomains (STATE)

State of parameter -eva-domains

kernel.parameters.signalEvaDomains (SIGNAL)

Signal for state evaDomains

kernel.parameters.getEvaDomains (GET)

Getter for state evaDomains

input ::= null

output ::= string

kernel.parameters.setEvaDomains (SET)

Setter for state evaDomains

input ::= string

output ::= null

kernel.parameters.evaStopAtNthAlarm (STATE)

State of parameter -eva-stop-at-nth-alarm

kernel.parameters.signalEvaStopAtNthAlarm (SIGNAL)

Signal for state evaStopAtNthAlarm

kernel.parameters.getEvaStopAtNthAlarm (GET)

Getter for state evaStopAtNthAlarm

input ::= null

output ::= number

kernel.parameters.setEvaStopAtNthAlarm (SET)

Setter for state evaStopAtNthAlarm

input ::= number

output ::= null

kernel.parameters.evaInterpreterMode (STATE)

State of parameter -eva-interpreter-mode

kernel.parameters.signalEvaInterpreterMode (SIGNAL)

Signal for state evaInterpreterMode

kernel.parameters.getEvaInterpreterMode (GET)

Getter for state evaInterpreterMode

input ::= null

output ::= boolean

kernel.parameters.setEvaInterpreterMode (SET)

Setter for state evaInterpreterMode

input ::= boolean

output ::= null

kernel.parameters.wpCounterExamples (STATE)

State of parameter -wp-counter-examples

kernel.parameters.signalWpCounterExamples (SIGNAL)

Signal for state wpCounterExamples

kernel.parameters.getWpCounterExamples (GET)

Getter for state wpCounterExamples

input ::= null

output ::= boolean

kernel.parameters.setWpCounterExamples (SET)

Setter for state wpCounterExamples

input ::= boolean

output ::= null

kernel.parameters.wpProbes (STATE)

State of parameter -wp-probes

kernel.parameters.signalWpProbes (SIGNAL)

Signal for state wpProbes

kernel.parameters.getWpProbes (GET)

Getter for state wpProbes

input ::= null

output ::= boolean

kernel.parameters.setWpProbes (SET)

Setter for state wpProbes

input ::= boolean

output ::= null

kernel.parameters.wpTactic (STATE)

State of parameter -wp-tactic

kernel.parameters.signalWpTactic (SIGNAL)

Signal for state wpTactic

kernel.parameters.getWpTactic (GET)

Getter for state wpTactic

input ::= null

output ::= string

kernel.parameters.setWpTactic (SET)

Setter for state wpTactic

input ::= string

output ::= null

kernel.parameters.wpSession (STATE)

State of parameter -wp-session

kernel.parameters.signalWpSession (SIGNAL)

Signal for state wpSession

kernel.parameters.getWpSession (GET)

Getter for state wpSession

input ::= null

output ::= string

kernel.parameters.setWpSession (SET)

Setter for state wpSession

input ::= string

output ::= null

kernel.parameters.wpShare (STATE)

State of parameter -wp-share

kernel.parameters.signalWpShare (SIGNAL)

Signal for state wpShare

kernel.parameters.getWpShare (GET)

Getter for state wpShare

input ::= null

output ::= string

kernel.parameters.setWpShare (SET)

Setter for state wpShare

input ::= string

output ::= null

kernel.parameters.wpOut (STATE)

State of parameter -wp-out

kernel.parameters.signalWpOut (SIGNAL)

Signal for state wpOut

kernel.parameters.getWpOut (GET)

Getter for state wpOut

input ::= null

output ::= string

kernel.parameters.setWpOut (SET)

Setter for state wpOut

input ::= string

output ::= null

kernel.parameters.wpCheckMemoryModel (STATE)

State of parameter -wp-check-memory-model

kernel.parameters.signalWpCheckMemoryModel (SIGNAL)

Signal for state wpCheckMemoryModel

kernel.parameters.getWpCheckMemoryModel (GET)

Getter for state wpCheckMemoryModel

input ::= null

output ::= boolean

kernel.parameters.setWpCheckMemoryModel (SET)

Setter for state wpCheckMemoryModel

input ::= boolean

output ::= null

kernel.parameters.wpWarnMemoryModel (STATE)

State of parameter -wp-warn-memory-model

kernel.parameters.signalWpWarnMemoryModel (SIGNAL)

Signal for state wpWarnMemoryModel

kernel.parameters.getWpWarnMemoryModel (GET)

Getter for state wpWarnMemoryModel

input ::= null

output ::= boolean

kernel.parameters.setWpWarnMemoryModel (SET)

Setter for state wpWarnMemoryModel

input ::= boolean

output ::= null

kernel.parameters.wpReportBasename (STATE)

State of parameter -wp-report-basename

kernel.parameters.signalWpReportBasename (SIGNAL)

Signal for state wpReportBasename

kernel.parameters.getWpReportBasename (GET)

Getter for state wpReportBasename

input ::= null

output ::= string

kernel.parameters.setWpReportBasename (SET)

Setter for state wpReportBasename

input ::= string

output ::= null

kernel.parameters.wpDeprecatedReportJson (STATE)

State of parameter -wp-deprecated-report-json

kernel.parameters.signalWpDeprecatedReportJson (SIGNAL)

Signal for state wpDeprecatedReportJson

kernel.parameters.getWpDeprecatedReportJson (GET)

Getter for state wpDeprecatedReportJson

input ::= null

output ::= string

kernel.parameters.setWpDeprecatedReportJson (SET)

Setter for state wpDeprecatedReportJson

input ::= string

output ::= null

kernel.parameters.wpReportJson (STATE)

State of parameter -wp-report-json

kernel.parameters.signalWpReportJson (SIGNAL)

Signal for state wpReportJson

kernel.parameters.getWpReportJson (GET)

Getter for state wpReportJson

input ::= null

output ::= string

kernel.parameters.setWpReportJson (SET)

Setter for state wpReportJson

input ::= string

output ::= null

kernel.parameters.wpReport (STATE)

State of parameter -wp-report

kernel.parameters.signalWpReport (SIGNAL)

Signal for state wpReport

kernel.parameters.getWpReport (GET)

Getter for state wpReport

input ::= null

output ::= string

kernel.parameters.setWpReport (SET)

Setter for state wpReport

input ::= string

output ::= null

kernel.parameters.wpStatus (STATE)

State of parameter -wp-status

kernel.parameters.signalWpStatus (SIGNAL)

Signal for state wpStatus

kernel.parameters.getWpStatus (GET)

Getter for state wpStatus

input ::= null

output ::= boolean

kernel.parameters.setWpStatus (SET)

Setter for state wpStatus

input ::= boolean

output ::= null

kernel.parameters.wpPrint (STATE)

State of parameter -wp-print

kernel.parameters.signalWpPrint (SIGNAL)

Signal for state wpPrint

kernel.parameters.getWpPrint (GET)

Getter for state wpPrint

input ::= null

output ::= boolean

kernel.parameters.setWpPrint (SET)

Setter for state wpPrint

input ::= boolean

output ::= null

kernel.parameters.wpFilenameTruncation (STATE)

State of parameter -wp-filename-truncation

kernel.parameters.signalWpFilenameTruncation (SIGNAL)

Signal for state wpFilenameTruncation

kernel.parameters.getWpFilenameTruncation (GET)

Getter for state wpFilenameTruncation

input ::= null

output ::= number

kernel.parameters.setWpFilenameTruncation (SET)

Setter for state wpFilenameTruncation

input ::= number

output ::= null

kernel.parameters.wpVariantWithTerminates (STATE)

State of parameter -wp-variant-with-terminates

kernel.parameters.signalWpVariantWithTerminates (SIGNAL)

Signal for state wpVariantWithTerminates

kernel.parameters.getWpVariantWithTerminates (GET)

Getter for state wpVariantWithTerminates

input ::= null

output ::= boolean

kernel.parameters.setWpVariantWithTerminates (SET)

Setter for state wpVariantWithTerminates

input ::= boolean

output ::= null

kernel.parameters.wpPrecondWeakening (STATE)

State of parameter -wp-precond-weakening

kernel.parameters.signalWpPrecondWeakening (SIGNAL)

Signal for state wpPrecondWeakening

kernel.parameters.getWpPrecondWeakening (GET)

Getter for state wpPrecondWeakening

input ::= null

output ::= boolean

kernel.parameters.setWpPrecondWeakening (SET)

Setter for state wpPrecondWeakening

input ::= boolean

output ::= null

kernel.parameters.wpUnfoldAssigns (STATE)

State of parameter -wp-unfold-assigns

kernel.parameters.signalWpUnfoldAssigns (SIGNAL)

Signal for state wpUnfoldAssigns

kernel.parameters.getWpUnfoldAssigns (GET)

Getter for state wpUnfoldAssigns

input ::= null

output ::= number

kernel.parameters.setWpUnfoldAssigns (SET)

Setter for state wpUnfoldAssigns

input ::= number

output ::= null

kernel.parameters.wpMaxSplit (STATE)

State of parameter -wp-max-split

kernel.parameters.signalWpMaxSplit (SIGNAL)

Signal for state wpMaxSplit

kernel.parameters.getWpMaxSplit (GET)

Getter for state wpMaxSplit

input ::= null

output ::= number

kernel.parameters.setWpMaxSplit (SET)

Setter for state wpMaxSplit

input ::= number

output ::= null

kernel.parameters.wpSplitCnf (STATE)

State of parameter -wp-split-cnf

kernel.parameters.signalWpSplitCnf (SIGNAL)

Signal for state wpSplitCnf

kernel.parameters.getWpSplitCnf (GET)

Getter for state wpSplitCnf

input ::= null

output ::= number

kernel.parameters.setWpSplitCnf (SET)

Setter for state wpSplitCnf

input ::= number

output ::= null

kernel.parameters.wpSplitConj (STATE)

State of parameter -wp-split-conj

kernel.parameters.signalWpSplitConj (SIGNAL)

Signal for state wpSplitConj

kernel.parameters.getWpSplitConj (GET)

Getter for state wpSplitConj

input ::= null

output ::= boolean

kernel.parameters.setWpSplitConj (SET)

Setter for state wpSplitConj

input ::= boolean

output ::= null

kernel.parameters.wpSplitSwitch (STATE)

State of parameter -wp-split-switch

kernel.parameters.signalWpSplitSwitch (SIGNAL)

Signal for state wpSplitSwitch

kernel.parameters.getWpSplitSwitch (GET)

Getter for state wpSplitSwitch

input ::= null

output ::= boolean

kernel.parameters.setWpSplitSwitch (SET)

Setter for state wpSplitSwitch

input ::= boolean

output ::= null

kernel.parameters.wpSplit (STATE)

State of parameter -wp-split

kernel.parameters.signalWpSplit (SIGNAL)

Signal for state wpSplit

kernel.parameters.getWpSplit (GET)

Getter for state wpSplit

input ::= null

output ::= boolean

kernel.parameters.setWpSplit (SET)

Setter for state wpSplit

input ::= boolean

output ::= null

kernel.parameters.wpSmokeDeadLoop (STATE)

State of parameter -wp-smoke-dead-loop

kernel.parameters.signalWpSmokeDeadLoop (SIGNAL)

Signal for state wpSmokeDeadLoop

kernel.parameters.getWpSmokeDeadLoop (GET)

Getter for state wpSmokeDeadLoop

input ::= null

output ::= boolean

kernel.parameters.setWpSmokeDeadLoop (SET)

Setter for state wpSmokeDeadLoop

input ::= boolean

output ::= null

kernel.parameters.wpSmokeDeadLocalInit (STATE)

State of parameter -wp-smoke-dead-local-init

kernel.parameters.signalWpSmokeDeadLocalInit (SIGNAL)

Signal for state wpSmokeDeadLocalInit

kernel.parameters.getWpSmokeDeadLocalInit (GET)

Getter for state wpSmokeDeadLocalInit

input ::= null

output ::= boolean

kernel.parameters.setWpSmokeDeadLocalInit (SET)

Setter for state wpSmokeDeadLocalInit

input ::= boolean

output ::= null

kernel.parameters.wpSmokeDeadCall (STATE)

State of parameter -wp-smoke-dead-call

kernel.parameters.signalWpSmokeDeadCall (SIGNAL)

Signal for state wpSmokeDeadCall

kernel.parameters.getWpSmokeDeadCall (GET)

Getter for state wpSmokeDeadCall

input ::= null

output ::= boolean

kernel.parameters.setWpSmokeDeadCall (SET)

Setter for state wpSmokeDeadCall

input ::= boolean

output ::= null

kernel.parameters.wpSmokeDeadCode (STATE)

State of parameter -wp-smoke-dead-code

kernel.parameters.signalWpSmokeDeadCode (SIGNAL)

Signal for state wpSmokeDeadCode

kernel.parameters.getWpSmokeDeadCode (GET)

Getter for state wpSmokeDeadCode

input ::= null

output ::= boolean

kernel.parameters.setWpSmokeDeadCode (SET)

Setter for state wpSmokeDeadCode

input ::= boolean

output ::= null

kernel.parameters.wpSmokeDeadAssumes (STATE)

State of parameter -wp-smoke-dead-assumes

kernel.parameters.signalWpSmokeDeadAssumes (SIGNAL)

Signal for state wpSmokeDeadAssumes

kernel.parameters.getWpSmokeDeadAssumes (GET)

Getter for state wpSmokeDeadAssumes

input ::= null

output ::= boolean

kernel.parameters.setWpSmokeDeadAssumes (SET)

Setter for state wpSmokeDeadAssumes

input ::= boolean

output ::= null

kernel.parameters.wpSmokeTests (STATE)

State of parameter -wp-smoke-tests

kernel.parameters.signalWpSmokeTests (SIGNAL)

Signal for state wpSmokeTests

kernel.parameters.getWpSmokeTests (GET)

Getter for state wpSmokeTests

input ::= null

output ::= boolean

kernel.parameters.setWpSmokeTests (SET)

Setter for state wpSmokeTests

input ::= boolean

output ::= null

kernel.parameters.wpRte (STATE)

State of parameter -wp-rte

kernel.parameters.signalWpRte (SIGNAL)

Signal for state wpRte

kernel.parameters.getWpRte (GET)

Getter for state wpRte

input ::= null

output ::= boolean

kernel.parameters.setWpRte (SET)

Setter for state wpRte

input ::= boolean

output ::= null

kernel.parameters.wpCalleePrecond (STATE)

State of parameter -wp-callee-precond

kernel.parameters.signalWpCalleePrecond (SIGNAL)

Signal for state wpCalleePrecond

kernel.parameters.getWpCalleePrecond (GET)

Getter for state wpCalleePrecond

input ::= null

output ::= boolean

kernel.parameters.setWpCalleePrecond (SET)

Setter for state wpCalleePrecond

input ::= boolean

output ::= null

kernel.parameters.wpInitConst (STATE)

State of parameter -wp-init-const

kernel.parameters.signalWpInitConst (SIGNAL)

Signal for state wpInitConst

kernel.parameters.getWpInitConst (GET)

Getter for state wpInitConst

input ::= null

output ::= boolean

kernel.parameters.setWpInitConst (SET)

Setter for state wpInitConst

input ::= boolean

output ::= null

kernel.parameters.wpBoundForallUnfolding (STATE)

State of parameter -wp-bound-forall-unfolding

kernel.parameters.signalWpBoundForallUnfolding (SIGNAL)

Signal for state wpBoundForallUnfolding

kernel.parameters.getWpBoundForallUnfolding (GET)

Getter for state wpBoundForallUnfolding

input ::= null

output ::= number

kernel.parameters.setWpBoundForallUnfolding (SET)

Setter for state wpBoundForallUnfolding

input ::= number

output ::= null

kernel.parameters.wpInitSummarizeArray (STATE)

State of parameter -wp-init-summarize-array

kernel.parameters.signalWpInitSummarizeArray (SIGNAL)

Signal for state wpInitSummarizeArray

kernel.parameters.getWpInitSummarizeArray (GET)

Getter for state wpInitSummarizeArray

input ::= null

output ::= boolean

kernel.parameters.setWpInitSummarizeArray (SET)

Setter for state wpInitSummarizeArray

input ::= boolean

output ::= null

kernel.parameters.wpSimplifyType (STATE)

State of parameter -wp-simplify-type

kernel.parameters.signalWpSimplifyType (SIGNAL)

Signal for state wpSimplifyType

kernel.parameters.getWpSimplifyType (GET)

Getter for state wpSimplifyType

input ::= null

output ::= boolean

kernel.parameters.setWpSimplifyType (SET)

Setter for state wpSimplifyType

input ::= boolean

output ::= null

kernel.parameters.wpSimplifyForall (STATE)

State of parameter -wp-simplify-forall

kernel.parameters.signalWpSimplifyForall (SIGNAL)

Signal for state wpSimplifyForall

kernel.parameters.getWpSimplifyForall (GET)

Getter for state wpSimplifyForall

input ::= null

output ::= boolean

kernel.parameters.setWpSimplifyForall (SET)

Setter for state wpSimplifyForall

input ::= boolean

output ::= null

kernel.parameters.wpSimplifyLandMask (STATE)

State of parameter -wp-simplify-land-mask

kernel.parameters.signalWpSimplifyLandMask (SIGNAL)

Signal for state wpSimplifyLandMask

kernel.parameters.getWpSimplifyLandMask (GET)

Getter for state wpSimplifyLandMask

input ::= null

output ::= boolean

kernel.parameters.setWpSimplifyLandMask (SET)

Setter for state wpSimplifyLandMask

input ::= boolean

output ::= null

kernel.parameters.wpSimplifyIsCint (STATE)

State of parameter -wp-simplify-is-cint

kernel.parameters.signalWpSimplifyIsCint (SIGNAL)

Signal for state wpSimplifyIsCint

kernel.parameters.getWpSimplifyIsCint (GET)

Getter for state wpSimplifyIsCint

input ::= null

output ::= boolean

kernel.parameters.setWpSimplifyIsCint (SET)

Setter for state wpSimplifyIsCint

input ::= boolean

output ::= null

kernel.parameters.wpPrenex (STATE)

State of parameter -wp-prenex

kernel.parameters.signalWpPrenex (SIGNAL)

Signal for state wpPrenex

kernel.parameters.getWpPrenex (GET)

Getter for state wpPrenex

input ::= null

output ::= boolean

kernel.parameters.setWpPrenex (SET)

Setter for state wpPrenex

input ::= boolean

output ::= null

kernel.parameters.wpParasite (STATE)

State of parameter -wp-parasite

kernel.parameters.signalWpParasite (SIGNAL)

Signal for state wpParasite

kernel.parameters.getWpParasite (GET)

Getter for state wpParasite

input ::= null

output ::= boolean

kernel.parameters.setWpParasite (SET)

Setter for state wpParasite

input ::= boolean

output ::= null

kernel.parameters.wpFilter (STATE)

State of parameter -wp-filter

kernel.parameters.signalWpFilter (SIGNAL)

Signal for state wpFilter

kernel.parameters.getWpFilter (GET)

Getter for state wpFilter

input ::= null

output ::= boolean

kernel.parameters.setWpFilter (SET)

Setter for state wpFilter

input ::= boolean

output ::= null

kernel.parameters.wpExtensional (STATE)

State of parameter -wp-extensional

kernel.parameters.signalWpExtensional (SIGNAL)

Signal for state wpExtensional

kernel.parameters.getWpExtensional (GET)

Getter for state wpExtensional

input ::= null

output ::= boolean

kernel.parameters.setWpExtensional (SET)

Setter for state wpExtensional

input ::= boolean

output ::= null

kernel.parameters.wpReduce (STATE)

State of parameter -wp-reduce

kernel.parameters.signalWpReduce (SIGNAL)

Signal for state wpReduce

kernel.parameters.getWpReduce (GET)

Getter for state wpReduce

input ::= null

output ::= boolean

kernel.parameters.setWpReduce (SET)

Setter for state wpReduce

input ::= boolean

output ::= null

kernel.parameters.wpGround (STATE)

State of parameter -wp-ground

kernel.parameters.signalWpGround (SIGNAL)

Signal for state wpGround

kernel.parameters.getWpGround (GET)

Getter for state wpGround

input ::= null

output ::= boolean

kernel.parameters.setWpGround (SET)

Setter for state wpGround

input ::= boolean

output ::= null

kernel.parameters.wpClean (STATE)

State of parameter -wp-clean

kernel.parameters.signalWpClean (SIGNAL)

Signal for state wpClean

kernel.parameters.getWpClean (GET)

Getter for state wpClean

input ::= null

output ::= boolean

kernel.parameters.setWpClean (SET)

Setter for state wpClean

input ::= boolean

output ::= null

kernel.parameters.wpFilterInit (STATE)

State of parameter -wp-filter-init

kernel.parameters.signalWpFilterInit (SIGNAL)

Signal for state wpFilterInit

kernel.parameters.getWpFilterInit (GET)

Getter for state wpFilterInit

input ::= null

output ::= boolean

kernel.parameters.setWpFilterInit (SET)

Setter for state wpFilterInit

input ::= boolean

output ::= null

kernel.parameters.wpPruning (STATE)

State of parameter -wp-pruning

kernel.parameters.signalWpPruning (SIGNAL)

Signal for state wpPruning

kernel.parameters.getWpPruning (GET)

Getter for state wpPruning

input ::= null

output ::= boolean

kernel.parameters.setWpPruning (SET)

Setter for state wpPruning

input ::= boolean

output ::= null

kernel.parameters.wpCore (STATE)

State of parameter -wp-core

kernel.parameters.signalWpCore (SIGNAL)

Signal for state wpCore

kernel.parameters.getWpCore (GET)

Getter for state wpCore

input ::= null

output ::= boolean

kernel.parameters.setWpCore (SET)

Setter for state wpCore

input ::= boolean

output ::= null

kernel.parameters.wpLet (STATE)

State of parameter -wp-let

kernel.parameters.signalWpLet (SIGNAL)

Signal for state wpLet

kernel.parameters.getWpLet (GET)

Getter for state wpLet

input ::= null

output ::= boolean

kernel.parameters.setWpLet (SET)

Setter for state wpLet

input ::= boolean

output ::= null

kernel.parameters.wpSimpl (STATE)

State of parameter -wp-simpl

kernel.parameters.signalWpSimpl (SIGNAL)

Signal for state wpSimpl

kernel.parameters.getWpSimpl (GET)

Getter for state wpSimpl

input ::= null

output ::= boolean

kernel.parameters.setWpSimpl (SET)

Setter for state wpSimpl

input ::= boolean

output ::= null

kernel.parameters.wpWarnKey (STATE)

State of parameter -wp-warn-key

kernel.parameters.signalWpWarnKey (SIGNAL)

Signal for state wpWarnKey

kernel.parameters.getWpWarnKey (GET)

Getter for state wpWarnKey

input ::= null

output ::= string

kernel.parameters.setWpWarnKey (SET)

Setter for state wpWarnKey

input ::= string

output ::= null

kernel.parameters.wpMsgKey (STATE)

State of parameter -wp-msg-key

kernel.parameters.signalWpMsgKey (SIGNAL)

Signal for state wpMsgKey

kernel.parameters.getWpMsgKey (GET)

Getter for state wpMsgKey

input ::= null

output ::= string

kernel.parameters.setWpMsgKey (SET)

Setter for state wpMsgKey

input ::= string

output ::= null

kernel.parameters.wpDebug (STATE)

State of parameter -wp-debug

kernel.parameters.signalWpDebug (SIGNAL)

Signal for state wpDebug

kernel.parameters.getWpDebug (GET)

Getter for state wpDebug

input ::= null

output ::= number

kernel.parameters.setWpDebug (SET)

Setter for state wpDebug

input ::= number

output ::= null

kernel.parameters.wpVerbose (STATE)

State of parameter -wp-verbose

kernel.parameters.signalWpVerbose (SIGNAL)

Signal for state wpVerbose

kernel.parameters.getWpVerbose (GET)

Getter for state wpVerbose

input ::= null

output ::= number

kernel.parameters.setWpVerbose (SET)

Setter for state wpVerbose

input ::= number

output ::= null

kernel.parameters.wpLog (STATE)

State of parameter -wp-log

kernel.parameters.signalWpLog (SIGNAL)

Signal for state wpLog

kernel.parameters.getWpLog (GET)

Getter for state wpLog

input ::= null

output ::= string

kernel.parameters.setWpLog (SET)

Setter for state wpLog

input ::= string

output ::= null

kernel.parameters.wpVolatile (STATE)

State of parameter -wp-volatile

kernel.parameters.signalWpVolatile (SIGNAL)

Signal for state wpVolatile

kernel.parameters.getWpVolatile (GET)

Getter for state wpVolatile

input ::= null

output ::= boolean

kernel.parameters.setWpVolatile (SET)

Setter for state wpVolatile

input ::= boolean

output ::= null

kernel.parameters.wpLiterals (STATE)

State of parameter -wp-literals

kernel.parameters.signalWpLiterals (SIGNAL)

Signal for state wpLiterals

kernel.parameters.getWpLiterals (GET)

Getter for state wpLiterals

input ::= null

output ::= boolean

kernel.parameters.setWpLiterals (SET)

Setter for state wpLiterals

input ::= boolean

output ::= null

kernel.parameters.wpWeakIntModel (STATE)

State of parameter -wp-weak-int-model

kernel.parameters.signalWpWeakIntModel (SIGNAL)

Signal for state wpWeakIntModel

kernel.parameters.getWpWeakIntModel (GET)

Getter for state wpWeakIntModel

input ::= null

output ::= boolean

kernel.parameters.setWpWeakIntModel (SET)

Setter for state wpWeakIntModel

input ::= boolean

output ::= null

kernel.parameters.wpExternArrays (STATE)

State of parameter -wp-extern-arrays

kernel.parameters.signalWpExternArrays (SIGNAL)

Signal for state wpExternArrays

kernel.parameters.getWpExternArrays (GET)

Getter for state wpExternArrays

input ::= null

output ::= boolean

kernel.parameters.setWpExternArrays (SET)

Setter for state wpExternArrays

input ::= boolean

output ::= null

kernel.parameters.wpContextVars (STATE)

State of parameter -wp-context-vars

kernel.parameters.signalWpContextVars (SIGNAL)

Signal for state wpContextVars

kernel.parameters.getWpContextVars (GET)

Getter for state wpContextVars

input ::= null

output ::= string

kernel.parameters.setWpContextVars (SET)

Setter for state wpContextVars

input ::= string

output ::= null

kernel.parameters.wpAliasInit (STATE)

State of parameter -wp-alias-init

kernel.parameters.signalWpAliasInit (SIGNAL)

Signal for state wpAliasInit

kernel.parameters.getWpAliasInit (GET)

Getter for state wpAliasInit

input ::= null

output ::= boolean

kernel.parameters.setWpAliasInit (SET)

Setter for state wpAliasInit

input ::= boolean

output ::= null

kernel.parameters.wpAliasVars (STATE)

State of parameter -wp-alias-vars

kernel.parameters.signalWpAliasVars (SIGNAL)

Signal for state wpAliasVars

kernel.parameters.getWpAliasVars (GET)

Getter for state wpAliasVars

input ::= null

output ::= string

kernel.parameters.setWpAliasVars (SET)

Setter for state wpAliasVars

input ::= string

output ::= null

kernel.parameters.wpRefVars (STATE)

State of parameter -wp-ref-vars

kernel.parameters.signalWpRefVars (SIGNAL)

Signal for state wpRefVars

kernel.parameters.getWpRefVars (GET)

Getter for state wpRefVars

input ::= null

output ::= string

kernel.parameters.setWpRefVars (SET)

Setter for state wpRefVars

input ::= string

output ::= null

kernel.parameters.wpUnaliasVars (STATE)

State of parameter -wp-unalias-vars

kernel.parameters.signalWpUnaliasVars (SIGNAL)

Signal for state wpUnaliasVars

kernel.parameters.getWpUnaliasVars (GET)

Getter for state wpUnaliasVars

input ::= null

output ::= string

kernel.parameters.setWpUnaliasVars (SET)

Setter for state wpUnaliasVars

input ::= string

output ::= null

kernel.parameters.wpModel (STATE)

State of parameter -wp-model

kernel.parameters.signalWpModel (SIGNAL)

Signal for state wpModel

kernel.parameters.getWpModel (GET)

Getter for state wpModel

input ::= null

output ::= string

kernel.parameters.setWpModel (SET)

Setter for state wpModel

input ::= string

output ::= null

kernel.parameters.wpWhy3ExtraConfig (STATE)

State of parameter -wp-why3-extra-config

kernel.parameters.signalWpWhy3ExtraConfig (SIGNAL)

Signal for state wpWhy3ExtraConfig

kernel.parameters.getWpWhy3ExtraConfig (GET)

Getter for state wpWhy3ExtraConfig

input ::= null

output ::= string

kernel.parameters.setWpWhy3ExtraConfig (SET)

Setter for state wpWhy3ExtraConfig

input ::= string

output ::= null

kernel.parameters.wpWhy3Opt (STATE)

State of parameter -wp-why3-opt

kernel.parameters.signalWpWhy3Opt (SIGNAL)

Signal for state wpWhy3Opt

kernel.parameters.getWpWhy3Opt (GET)

Getter for state wpWhy3Opt

input ::= null

output ::= string

kernel.parameters.setWpWhy3Opt (SET)

Setter for state wpWhy3Opt

input ::= string

output ::= null

kernel.parameters.wpAutoBacktrack (STATE)

State of parameter -wp-auto-backtrack

kernel.parameters.signalWpAutoBacktrack (SIGNAL)

Signal for state wpAutoBacktrack

kernel.parameters.getWpAutoBacktrack (GET)

Getter for state wpAutoBacktrack

input ::= null

output ::= number

kernel.parameters.setWpAutoBacktrack (SET)

Setter for state wpAutoBacktrack

input ::= number

output ::= null

kernel.parameters.wpAutoWidth (STATE)

State of parameter -wp-auto-width

kernel.parameters.signalWpAutoWidth (SIGNAL)

Signal for state wpAutoWidth

kernel.parameters.getWpAutoWidth (GET)

Getter for state wpAutoWidth

input ::= null

output ::= number

kernel.parameters.setWpAutoWidth (SET)

Setter for state wpAutoWidth

input ::= number

output ::= null

kernel.parameters.wpAutoDepth (STATE)

State of parameter -wp-auto-depth

kernel.parameters.signalWpAutoDepth (SIGNAL)

Signal for state wpAutoDepth

kernel.parameters.getWpAutoDepth (GET)

Getter for state wpAutoDepth

input ::= null

output ::= number

kernel.parameters.setWpAutoDepth (SET)

Setter for state wpAutoDepth

input ::= number

output ::= null

kernel.parameters.wpAuto (STATE)

State of parameter -wp-auto

kernel.parameters.signalWpAuto (SIGNAL)

Signal for state wpAuto

kernel.parameters.getWpAuto (GET)

Getter for state wpAuto

input ::= null

output ::= string

kernel.parameters.setWpAuto (SET)

Setter for state wpAuto

input ::= string

output ::= null

kernel.parameters.wpProofTrace (STATE)

State of parameter -wp-proof-trace

kernel.parameters.signalWpProofTrace (SIGNAL)

Signal for state wpProofTrace

kernel.parameters.getWpProofTrace (GET)

Getter for state wpProofTrace

input ::= null

output ::= boolean

kernel.parameters.setWpProofTrace (SET)

Setter for state wpProofTrace

input ::= boolean

output ::= null

kernel.parameters.wpPar (STATE)

State of parameter -wp-par

kernel.parameters.signalWpPar (SIGNAL)

Signal for state wpPar

kernel.parameters.getWpPar (GET)

Getter for state wpPar

input ::= null

output ::= number

kernel.parameters.setWpPar (SET)

Setter for state wpPar

input ::= number

output ::= null

kernel.parameters.wpTimeMargin (STATE)

State of parameter -wp-time-margin

kernel.parameters.signalWpTimeMargin (SIGNAL)

Signal for state wpTimeMargin

kernel.parameters.getWpTimeMargin (GET)

Getter for state wpTimeMargin

input ::= null

output ::= string

kernel.parameters.setWpTimeMargin (SET)

Setter for state wpTimeMargin

input ::= string

output ::= null

kernel.parameters.wpTimeExtra (STATE)

State of parameter -wp-time-extra

kernel.parameters.signalWpTimeExtra (SIGNAL)

Signal for state wpTimeExtra

kernel.parameters.getWpTimeExtra (GET)

Getter for state wpTimeExtra

input ::= null

output ::= number

kernel.parameters.setWpTimeExtra (SET)

Setter for state wpTimeExtra

input ::= number

output ::= null

kernel.parameters.wpInteractiveTimeout (STATE)

State of parameter -wp-interactive-timeout

kernel.parameters.signalWpInteractiveTimeout (SIGNAL)

Signal for state wpInteractiveTimeout

kernel.parameters.getWpInteractiveTimeout (GET)

Getter for state wpInteractiveTimeout

input ::= null

output ::= number

kernel.parameters.setWpInteractiveTimeout (SET)

Setter for state wpInteractiveTimeout

input ::= number

output ::= null

kernel.parameters.wpSmokeTimeout (STATE)

State of parameter -wp-smoke-timeout

kernel.parameters.signalWpSmokeTimeout (SIGNAL)

Signal for state wpSmokeTimeout

kernel.parameters.getWpSmokeTimeout (GET)

Getter for state wpSmokeTimeout

input ::= null

output ::= number

kernel.parameters.setWpSmokeTimeout (SET)

Setter for state wpSmokeTimeout

input ::= number

output ::= null

kernel.parameters.wpFctTimeout (STATE)

State of parameter -wp-fct-timeout

kernel.parameters.signalWpFctTimeout (SIGNAL)

Signal for state wpFctTimeout

kernel.parameters.getWpFctTimeout (GET)

Getter for state wpFctTimeout

input ::= null

output ::= string

kernel.parameters.setWpFctTimeout (SET)

Setter for state wpFctTimeout

input ::= string

output ::= null

kernel.parameters.wpMemlimit (STATE)

State of parameter -wp-memlimit

kernel.parameters.signalWpMemlimit (SIGNAL)

Signal for state wpMemlimit

kernel.parameters.getWpMemlimit (GET)

Getter for state wpMemlimit

input ::= null

output ::= number

kernel.parameters.setWpMemlimit (SET)

Setter for state wpMemlimit

input ::= number

output ::= null

kernel.parameters.wpTimeout (STATE)

State of parameter -wp-timeout

kernel.parameters.signalWpTimeout (SIGNAL)

Signal for state wpTimeout

kernel.parameters.getWpTimeout (GET)

Getter for state wpTimeout

input ::= null

output ::= number

kernel.parameters.setWpTimeout (SET)

Setter for state wpTimeout

input ::= number

output ::= null

kernel.parameters.wpSteps (STATE)

State of parameter -wp-steps

kernel.parameters.signalWpSteps (SIGNAL)

Signal for state wpSteps

kernel.parameters.getWpSteps (GET)

Getter for state wpSteps

input ::= null

output ::= number

kernel.parameters.setWpSteps (SET)

Setter for state wpSteps

input ::= number

output ::= null

kernel.parameters.wpDriver (STATE)

State of parameter -wp-driver

kernel.parameters.signalWpDriver (SIGNAL)

Signal for state wpDriver

kernel.parameters.getWpDriver (GET)

Getter for state wpDriver

input ::= null

output ::= string

kernel.parameters.setWpDriver (SET)

Setter for state wpDriver

input ::= string

output ::= null

kernel.parameters.wpLibrary (STATE)

State of parameter -wp-library

kernel.parameters.signalWpLibrary (SIGNAL)

Signal for state wpLibrary

kernel.parameters.getWpLibrary (GET)

Getter for state wpLibrary

input ::= null

output ::= string

kernel.parameters.setWpLibrary (SET)

Setter for state wpLibrary

input ::= string

output ::= null

kernel.parameters.wpDetect (STATE)

State of parameter -wp-detect

kernel.parameters.signalWpDetect (SIGNAL)

Signal for state wpDetect

kernel.parameters.getWpDetect (GET)

Getter for state wpDetect

input ::= null

output ::= boolean

kernel.parameters.setWpDetect (SET)

Setter for state wpDetect

input ::= boolean

output ::= null

kernel.parameters.wpDryFinalizeScripts (STATE)

State of parameter -wp-dry-finalize-scripts

kernel.parameters.signalWpDryFinalizeScripts (SIGNAL)

Signal for state wpDryFinalizeScripts

kernel.parameters.getWpDryFinalizeScripts (GET)

Getter for state wpDryFinalizeScripts

input ::= null

output ::= boolean

kernel.parameters.setWpDryFinalizeScripts (SET)

Setter for state wpDryFinalizeScripts

input ::= boolean

output ::= null

kernel.parameters.wpFinalizeScripts (STATE)

State of parameter -wp-finalize-scripts

kernel.parameters.signalWpFinalizeScripts (SIGNAL)

Signal for state wpFinalizeScripts

kernel.parameters.getWpFinalizeScripts (GET)

Getter for state wpFinalizeScripts

input ::= null

output ::= boolean

kernel.parameters.setWpFinalizeScripts (SET)

Setter for state wpFinalizeScripts

input ::= boolean

output ::= null

kernel.parameters.wpPrepareScripts (STATE)

State of parameter -wp-prepare-scripts

kernel.parameters.signalWpPrepareScripts (SIGNAL)

Signal for state wpPrepareScripts

kernel.parameters.getWpPrepareScripts (GET)

Getter for state wpPrepareScripts

input ::= null

output ::= boolean

kernel.parameters.setWpPrepareScripts (SET)

Setter for state wpPrepareScripts

input ::= boolean

output ::= null

kernel.parameters.wpScriptOnStdout (STATE)

State of parameter -wp-script-on-stdout

kernel.parameters.signalWpScriptOnStdout (SIGNAL)

Signal for state wpScriptOnStdout

kernel.parameters.getWpScriptOnStdout (GET)

Getter for state wpScriptOnStdout

input ::= null

output ::= boolean

kernel.parameters.setWpScriptOnStdout (SET)

Setter for state wpScriptOnStdout

input ::= boolean

output ::= null

kernel.parameters.wpGen (STATE)

State of parameter -wp-gen

kernel.parameters.signalWpGen (SIGNAL)

Signal for state wpGen

kernel.parameters.getWpGen (GET)

Getter for state wpGen

input ::= null

output ::= boolean

kernel.parameters.setWpGen (SET)

Setter for state wpGen

input ::= boolean

output ::= null

kernel.parameters.wpCachePrint (STATE)

State of parameter -wp-cache-print

kernel.parameters.signalWpCachePrint (SIGNAL)

Signal for state wpCachePrint

kernel.parameters.getWpCachePrint (GET)

Getter for state wpCachePrint

input ::= null

output ::= boolean

kernel.parameters.setWpCachePrint (SET)

Setter for state wpCachePrint

input ::= boolean

output ::= null

kernel.parameters.wpCacheEnv (STATE)

State of parameter -wp-cache-env

kernel.parameters.signalWpCacheEnv (SIGNAL)

Signal for state wpCacheEnv

kernel.parameters.getWpCacheEnv (GET)

Getter for state wpCacheEnv

input ::= null

output ::= boolean

kernel.parameters.setWpCacheEnv (SET)

Setter for state wpCacheEnv

input ::= boolean

output ::= null

kernel.parameters.wpCacheDir (STATE)

State of parameter -wp-cache-dir

kernel.parameters.signalWpCacheDir (SIGNAL)

Signal for state wpCacheDir

kernel.parameters.getWpCacheDir (GET)

Getter for state wpCacheDir

input ::= null

output ::= string

kernel.parameters.setWpCacheDir (SET)

Setter for state wpCacheDir

input ::= string

output ::= null

kernel.parameters.wpCache (STATE)

State of parameter -wp-cache

kernel.parameters.signalWpCache (SIGNAL)

Signal for state wpCache

kernel.parameters.getWpCache (GET)

Getter for state wpCache

input ::= null

output ::= string

kernel.parameters.setWpCache (SET)

Setter for state wpCache

input ::= string

output ::= null

kernel.parameters.wpRunAllProvers (STATE)

State of parameter -wp-run-all-provers

kernel.parameters.signalWpRunAllProvers (SIGNAL)

Signal for state wpRunAllProvers

kernel.parameters.getWpRunAllProvers (GET)

Getter for state wpRunAllProvers

input ::= null

output ::= boolean

kernel.parameters.setWpRunAllProvers (SET)

Setter for state wpRunAllProvers

input ::= boolean

output ::= null

kernel.parameters.wpStrategy (STATE)

State of parameter -wp-strategy

kernel.parameters.signalWpStrategy (SIGNAL)

Signal for state wpStrategy

kernel.parameters.getWpStrategy (GET)

Getter for state wpStrategy

input ::= null

output ::= string

kernel.parameters.setWpStrategy (SET)

Setter for state wpStrategy

input ::= string

output ::= null

kernel.parameters.wpStrategyEngine (STATE)

State of parameter -wp-strategy-engine

kernel.parameters.signalWpStrategyEngine (SIGNAL)

Signal for state wpStrategyEngine

kernel.parameters.getWpStrategyEngine (GET)

Getter for state wpStrategyEngine

input ::= null

output ::= boolean

kernel.parameters.setWpStrategyEngine (SET)

Setter for state wpStrategyEngine

input ::= boolean

output ::= null

kernel.parameters.wpScript (STATE)

State of parameter -wp-script

kernel.parameters.signalWpScript (SIGNAL)

Signal for state wpScript

kernel.parameters.getWpScript (GET)

Getter for state wpScript

input ::= null

output ::= string

kernel.parameters.setWpScript (SET)

Setter for state wpScript

input ::= string

output ::= null

kernel.parameters.wpInteractive (STATE)

State of parameter -wp-interactive

kernel.parameters.signalWpInteractive (SIGNAL)

Signal for state wpInteractive

kernel.parameters.getWpInteractive (GET)

Getter for state wpInteractive

input ::= null

output ::= string

kernel.parameters.setWpInteractive (SET)

Setter for state wpInteractive

input ::= string

output ::= null

kernel.parameters.wpProver (STATE)

State of parameter -wp-prover

kernel.parameters.signalWpProver (SIGNAL)

Signal for state wpProver

kernel.parameters.getWpProver (GET)

Getter for state wpProver

input ::= null

output ::= string

kernel.parameters.setWpProver (SET)

Setter for state wpProver

input ::= string

output ::= null

kernel.parameters.wpStatusMaybe (STATE)

State of parameter -wp-status-maybe

kernel.parameters.signalWpStatusMaybe (SIGNAL)

Signal for state wpStatusMaybe

kernel.parameters.getWpStatusMaybe (GET)

Getter for state wpStatusMaybe

input ::= null

output ::= boolean

kernel.parameters.setWpStatusMaybe (SET)

Setter for state wpStatusMaybe

input ::= boolean

output ::= null

kernel.parameters.wpStatusInvalid (STATE)

State of parameter -wp-status-invalid

kernel.parameters.signalWpStatusInvalid (SIGNAL)

Signal for state wpStatusInvalid

kernel.parameters.getWpStatusInvalid (GET)

Getter for state wpStatusInvalid

input ::= null

output ::= boolean

kernel.parameters.setWpStatusInvalid (SET)

Setter for state wpStatusInvalid

input ::= boolean

output ::= null

kernel.parameters.wpStatusValid (STATE)

State of parameter -wp-status-valid

kernel.parameters.signalWpStatusValid (SIGNAL)

Signal for state wpStatusValid

kernel.parameters.getWpStatusValid (GET)

Getter for state wpStatusValid

input ::= null

output ::= boolean

kernel.parameters.setWpStatusValid (SET)

Setter for state wpStatusValid

input ::= boolean

output ::= null

kernel.parameters.wpStatusAll (STATE)

State of parameter -wp-status-all

kernel.parameters.signalWpStatusAll (SIGNAL)

Signal for state wpStatusAll

kernel.parameters.getWpStatusAll (GET)

Getter for state wpStatusAll

input ::= null

output ::= boolean

kernel.parameters.setWpStatusAll (SET)

Setter for state wpStatusAll

input ::= boolean

output ::= null

kernel.parameters.wpProp (STATE)

State of parameter -wp-prop

kernel.parameters.signalWpProp (SIGNAL)

Signal for state wpProp

kernel.parameters.getWpProp (GET)

Getter for state wpProp

input ::= null

output ::= string

kernel.parameters.setWpProp (SET)

Setter for state wpProp

input ::= string

output ::= null

kernel.parameters.wpBhv (STATE)

State of parameter -wp-bhv

kernel.parameters.signalWpBhv (SIGNAL)

Signal for state wpBhv

kernel.parameters.getWpBhv (GET)

Getter for state wpBhv

input ::= null

output ::= string

kernel.parameters.setWpBhv (SET)

Setter for state wpBhv

input ::= string

output ::= null

kernel.parameters.wpSkipFct (STATE)

State of parameter -wp-skip-fct

kernel.parameters.signalWpSkipFct (SIGNAL)

Signal for state wpSkipFct

kernel.parameters.getWpSkipFct (GET)

Getter for state wpSkipFct

input ::= null

output ::= string

kernel.parameters.setWpSkipFct (SET)

Setter for state wpSkipFct

input ::= string

output ::= null

kernel.parameters.wpFct (STATE)

State of parameter -wp-fct

kernel.parameters.signalWpFct (SIGNAL)

Signal for state wpFct

kernel.parameters.getWpFct (GET)

Getter for state wpFct

input ::= null

output ::= string

kernel.parameters.setWpFct (SET)

Setter for state wpFct

input ::= string

output ::= null

kernel.parameters.wpDump (STATE)

State of parameter -wp-dump

kernel.parameters.signalWpDump (SIGNAL)

Signal for state wpDump

kernel.parameters.getWpDump (GET)

Getter for state wpDump

input ::= null

output ::= boolean

kernel.parameters.setWpDump (SET)

Setter for state wpDump

input ::= boolean

output ::= null

kernel.parameters.wp (STATE)

State of parameter -wp

kernel.parameters.signalWp (SIGNAL)

Signal for state wp

kernel.parameters.getWp (GET)

Getter for state wp

input ::= null

output ::= boolean

kernel.parameters.setWp (SET)

Setter for state wp

input ::= boolean

output ::= null

kernel.parameters.rteSelect (STATE)

State of parameter -rte-select

kernel.parameters.signalRteSelect (SIGNAL)

Signal for state rteSelect

kernel.parameters.getRteSelect (GET)

Getter for state rteSelect

input ::= null

output ::= string

kernel.parameters.setRteSelect (SET)

Setter for state rteSelect

input ::= string

output ::= null

kernel.parameters.rteWarn (STATE)

State of parameter -rte-warn

kernel.parameters.signalRteWarn (SIGNAL)

Signal for state rteWarn

kernel.parameters.getRteWarn (GET)

Getter for state rteWarn

input ::= null

output ::= boolean

kernel.parameters.setRteWarn (SET)

Setter for state rteWarn

input ::= boolean

output ::= null

kernel.parameters.rteTrivialAnnotations (STATE)

State of parameter -rte-trivial-annotations

kernel.parameters.signalRteTrivialAnnotations (SIGNAL)

Signal for state rteTrivialAnnotations

kernel.parameters.getRteTrivialAnnotations (GET)

Getter for state rteTrivialAnnotations

input ::= null

output ::= boolean

kernel.parameters.setRteTrivialAnnotations (SET)

Setter for state rteTrivialAnnotations

input ::= boolean

output ::= null

kernel.parameters.rtePointerCall (STATE)

State of parameter -rte-pointer-call

kernel.parameters.signalRtePointerCall (SIGNAL)

Signal for state rtePointerCall

kernel.parameters.getRtePointerCall (GET)

Getter for state rtePointerCall

input ::= null

output ::= boolean

kernel.parameters.setRtePointerCall (SET)

Setter for state rtePointerCall

input ::= boolean

output ::= null

kernel.parameters.rteMem (STATE)

State of parameter -rte-mem

kernel.parameters.signalRteMem (SIGNAL)

Signal for state rteMem

kernel.parameters.getRteMem (GET)

Getter for state rteMem

input ::= null

output ::= boolean

kernel.parameters.setRteMem (SET)

Setter for state rteMem

input ::= boolean

output ::= null

kernel.parameters.rteInitialized (STATE)

State of parameter -rte-initialized

kernel.parameters.signalRteInitialized (SIGNAL)

Signal for state rteInitialized

kernel.parameters.getRteInitialized (GET)

Getter for state rteInitialized

input ::= null

output ::= string

kernel.parameters.setRteInitialized (SET)

Setter for state rteInitialized

input ::= string

output ::= null

kernel.parameters.rteFloatToInt (STATE)

State of parameter -rte-float-to-int

kernel.parameters.signalRteFloatToInt (SIGNAL)

Signal for state rteFloatToInt

kernel.parameters.getRteFloatToInt (GET)

Getter for state rteFloatToInt

input ::= null

output ::= boolean

kernel.parameters.setRteFloatToInt (SET)

Setter for state rteFloatToInt

input ::= boolean

output ::= null

kernel.parameters.rteShift (STATE)

State of parameter -rte-shift

kernel.parameters.signalRteShift (SIGNAL)

Signal for state rteShift

kernel.parameters.getRteShift (GET)

Getter for state rteShift

input ::= null

output ::= boolean

kernel.parameters.setRteShift (SET)

Setter for state rteShift

input ::= boolean

output ::= null

kernel.parameters.rteDiv (STATE)

State of parameter -rte-div

kernel.parameters.signalRteDiv (SIGNAL)

Signal for state rteDiv

kernel.parameters.getRteDiv (GET)

Getter for state rteDiv

input ::= null

output ::= boolean

kernel.parameters.setRteDiv (SET)

Setter for state rteDiv

input ::= boolean

output ::= null

kernel.parameters.rte (STATE)

State of parameter -rte

kernel.parameters.signalRte (SIGNAL)

Signal for state rte

kernel.parameters.getRte (GET)

Getter for state rte

input ::= null

output ::= boolean

kernel.parameters.setRte (SET)

Setter for state rte

input ::= boolean

output ::= null

kernel.parameters.rteWarnKey (STATE)

State of parameter -rte-warn-key

kernel.parameters.signalRteWarnKey (SIGNAL)

Signal for state rteWarnKey

kernel.parameters.getRteWarnKey (GET)

Getter for state rteWarnKey

input ::= null

output ::= string

kernel.parameters.setRteWarnKey (SET)

Setter for state rteWarnKey

input ::= string

output ::= null

kernel.parameters.rteMsgKey (STATE)

State of parameter -rte-msg-key

kernel.parameters.signalRteMsgKey (SIGNAL)

Signal for state rteMsgKey

kernel.parameters.getRteMsgKey (GET)

Getter for state rteMsgKey

input ::= null

output ::= string

kernel.parameters.setRteMsgKey (SET)

Setter for state rteMsgKey

input ::= string

output ::= null

kernel.parameters.rteDebug (STATE)

State of parameter -rte-debug

kernel.parameters.signalRteDebug (SIGNAL)

Signal for state rteDebug

kernel.parameters.getRteDebug (GET)

Getter for state rteDebug

input ::= null

output ::= number

kernel.parameters.setRteDebug (SET)

Setter for state rteDebug

input ::= number

output ::= null

kernel.parameters.rteVerbose (STATE)

State of parameter -rte-verbose

kernel.parameters.signalRteVerbose (SIGNAL)

Signal for state rteVerbose

kernel.parameters.getRteVerbose (GET)

Getter for state rteVerbose

input ::= null

output ::= number

kernel.parameters.setRteVerbose (SET)

Setter for state rteVerbose

input ::= number

output ::= null

kernel.parameters.rteLog (STATE)

State of parameter -rte-log

kernel.parameters.signalRteLog (SIGNAL)

Signal for state rteLog

kernel.parameters.getRteLog (GET)

Getter for state rteLog

input ::= null

output ::= string

kernel.parameters.setRteLog (SET)

Setter for state rteLog

input ::= string

output ::= null