Here is a list of all variables with links to the classes they belong to:

- k -

• k : resultt
• k_default : string_constantt
• k_induction : goto_symext
• k_path_max_goals : goto_coveraget
• k_path_n : goto_coveraget
• k_path_spanning_redundant : goto_coveraget
• k_path_witness_depth : goto_coveraget
• k_unicode : string_constantt
• k_wide : string_constantt
• keep_alive_interval : bmct
• keep_alive_running : bmct
• kept : library_load_report
• kernelExecTimeoutEnabled : cudaDeviceProp
• key : _ESBMC_Mapping, _ESBMC_Mapping_fast, table, table_init_pair, thread_key
• keywords : preprocessor.function_value_types._Scope
• kind : andersent::constraintt, ArithFBNode, code_printf2t, CoilNode, constant_string2t, ContactNode, CounterFBNode, dynamic_type_detail::numeric_bindingt, exception_specificationt, fallible_call_t, FBVarDecl, LdIRNode, LdProperty, PyConstValue, RungElement, sideeffect2t, smtlib_smt_ast, TimerFBNode, token, VarDecl
• kind_stack : preprocessor.function_value_types._Analysis
• kinds : preprocessor.function_value_dispatch._Plan, preprocessor.function_value_types._Analysis
• kMaxConstantFoldExponent : python_math
• kMaxHavocPointeeBits : goto_loop_invariantt
• kMaxInvariantSearchBack : goto_loop_invariantt
• known_variable_types : preprocessor.core_visitors_mixin.CoreVisitorsMixin, preprocessor.dataclass_mixin.DataclassMixin, preprocessor.loop_mixin.LoopMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin