klara.scripts.cover_gen_ins.config.ConfigNamespace

class documentation

class ConfigNamespace(Config): (source)

Known subclasses: klara.contract.config.ContractConfig

View In Hierarchy

Config for cov analysis

Class Variable cover_all Undocumented
Class Variable cover_lines Undocumented
Class Variable cover_return Undocumented
Class Variable entry_class Undocumented
Class Variable entry_func Undocumented
Class Variable file_name Undocumented
Class Variable force_infer Undocumented
Class Variable mss_algorithm Undocumented
Class Variable output_file Undocumented
Class Variable output_statistics Undocumented
Class Variable z3_parallel Undocumented
Class Variable z3_parallel_max_threads Undocumented

Inherited from Config:

Method __init__ Undocumented
Method is_analyze_procedure Undocumented
Method is_type_inference Undocumented
Class Variable analyze_procedure Undocumented
Class Variable display_mem_usage Undocumented
Class Variable enable_infer_sequence Undocumented
Class Variable html_server Undocumented
Class Variable html_server_port Undocumented
Class Variable infer_extension_files Undocumented
Class Variable no_analyze_procedure Undocumented
Class Variable statistics Undocumented
Class Variable verbose Undocumented
Instance Variable eq_neq Undocumented
Instance Variable max_inference_value Undocumented
Instance Variable py_version Undocumented
Instance Variable stubs Undocumented
Instance Variable type_inference Undocumented
Instance Variable typeshed_select Undocumented
cover_all: bool = (source)

Undocumented

cover_lines: list = (source)

Undocumented

cover_return: bool = (source)

Undocumented

entry_class: str = (source)

Undocumented

entry_func: str = (source)

Undocumented

file_name: list = (source)

Undocumented

force_infer: bool = (source)

Undocumented

mss_algorithm: str = (source)

Undocumented

output_file = (source)
overridden in klara.contract.config.ContractConfig

Undocumented

output_statistics = (source)

Undocumented

z3_parallel: bool = (source)

Undocumented

z3_parallel_max_threads = (source)

Undocumented