Variable configConst

Type declaration

• array_length_upperlimit: number

• array_type_prob: number

• compiler_path: string

• constructor_prob: number

• contract_count: number

• contract_member_initialization_prob: number

• contract_type_prob: number

• debug: boolean

• do_while_body_stmt_cnt_lower_limit: number

• do_while_body_stmt_cnt_upper_limit: number

• dynamic_array_prob: number

• else_prob: number

• enable_search_space_cmp: boolean

• enable_test: boolean

• error_decl_per_contract_lowerlimit: number

• error_decl_per_contract_upperlimit: number

• error_prob: number

• event_decl_per_contract_lowerlimit: number

• event_decl_per_contract_upperlimit: number

• event_prob: number

• expression_complexity_level: number

• expression_complexity_prob: number

• file: string

• for_body_stmt_cnt_lower_limit: number

• for_body_stmt_cnt_upper_limit: number

• for_init_cnt_lower_limit: number

• for_init_cnt_upper_limit: number

• function_body_stmt_cnt_lower_limit: number

• function_body_stmt_cnt_upper_limit: number

• function_count_per_contract_lower_limit: number

• function_count_per_contract_upper_limit: number

• generation_rounds: number

• if_body_stmt_cnt_lower_limit: number

• if_body_stmt_cnt_upper_limit: number

• in_func_initialization_prob: number

• init_state_var_in_constructor_prob: number

• init_with_state_var_prob: number

• int_num: number

• literal_prob: number

• log_file_path: string

• mapping_type_prob: number

• maximum_solution_count: number

• mode: string

• modifier_count_per_contract_lower_limit: number

• modifier_count_per_contract_upper_limit: number

• modifier_per_function_lower_limit: number

• modifier_per_function_upper_limit: number

• new_prob: number

• nonstructured_statement_prob: number

• out_dir: string

• param_count_of_function_lowerlimit: number

• param_count_of_function_upperlimit: number

• refresh_folder: boolean

• return_count_of_function_lowerlimit: number

• return_count_of_function_upperlimit: number

• return_prob: number

• reuse_name_prob: number

• state_variable_count_lowerlimit: number

• state_variable_count_upperlimit: number

• statement_complexity__level: number

• string_type_prob: number

• struct_decl_per_contract_lowerlimit: number

• struct_decl_per_contract_upperlimit: number

• struct_member_variable_count_lowerlimit: number

• struct_member_variable_count_upperlimit: number

• struct_prob: number

• struct_type_prob: number

• target: string

• terminate_on_failure: boolean

• test_out_dir: string

• tuple_prob: number

• type_complexity_level: number

• uint_num: number

• unit_test_mode: boolean

• vardecl_prob: number

• while_body_stmt_cnt_lower_limit: number

• while_body_stmt_cnt_upper_limit: number