id: 1
unit: def create_parser()
file: summary/stubs.py
start line: 0
end line: 0
size: 73 LOC
McCabe index: 2
number of parameters: 0

id: 2
unit: def create_parser()
file: summary/summary.py
start line: 0
end line: 0
size: 59 LOC
McCabe index: 2
number of parameters: 0

id: 3
unit: def viewer()
file: cbmc_viewer/viewer.py
start line: 0
end line: 0
size: 57 LOC
McCabe index: 5
number of parameters: 0

id: 4
unit: def create_parser()
file: cbmc_viewer/viewer.py
start line: 0
end line: 0
size: 50 LOC
McCabe index: 1
number of parameters: 0

id: 5
unit: def default_source_method()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 40 LOC
McCabe index: 19
number of parameters: 1

id: 6
unit: def close_function_stack_frames()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 39 LOC
McCabe index: 6
number of parameters: 1

id: 7
unit: def handle_deprecated_arguments()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 35 LOC
McCabe index: 14
number of parameters: 1

id: 8
unit: def parse_text_traces()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 34 LOC
McCabe index: 10
number of parameters: 3

id: 9
unit: def make_source()
file: cbmc_viewer/sourcet.py
start line: 0
end line: 0
size: 29 LOC
McCabe index: 16
number of parameters: 7

id: 10
unit: def sloc()
file: cbmc_viewer/sourcet.py
start line: 0
end line: 0
size: 28 LOC
McCabe index: 7
number of parameters: 2

id: 11
unit: def parse_xml_step()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 27 LOC
McCabe index: 14
number of parameters: 2

id: 12
unit: def parse_json_step()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 27 LOC
McCabe index: 14
number of parameters: 2

id: 13
unit: def split_code_into_blocks()
file: cbmc_viewer/markup_code.py
start line: 0
end line: 0
size: 27 LOC
McCabe index: 12
number of parameters: 1

id: 14
unit: def main()
file: summary/summary.py
start line: 0
end line: 0
size: 27 LOC
McCabe index: 12
number of parameters: 0

id: 15
unit: def load_cbmc_json()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 26 LOC
McCabe index: 7
number of parameters: 2

id: 16
unit: def parse_symbol_table()
file: cbmc_viewer/symbol_table.py
start line: 0
end line: 0
size: 26 LOC
McCabe index: 14
number of parameters: 2

id: 17
unit: def report()
file: cbmc_viewer/report.py
start line: 0
end line: 0
size: 25 LOC
McCabe index: 4
number of parameters: 10

id: 18
unit: def __init__()
file: cbmc_viewer/sourcet.py
start line: 0
end line: 0
size: 24 LOC
McCabe index: 8
number of parameters: 3

id: 19
unit: def lookup()
file: cbmc_viewer/markup_trace.py
start line: 0
end line: 0
size: 24 LOC
McCabe index: 7
number of parameters: 3

id: 20
unit: def symbol_definitions()
file: cbmc_viewer/symbol_table.py
start line: 0
end line: 0
size: 24 LOC
McCabe index: 9
number of parameters: 3

id: 21
unit: def cbmc_text_sections()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 23 LOC
McCabe index: 10
number of parameters: 1

id: 22
unit: def merge_coverage_data()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 23 LOC
McCabe index: 12
number of parameters: 1

id: 23
unit: def __init__()
file: cbmc_viewer/markup_summary.py
start line: 0
end line: 0
size: 22 LOC
McCabe index: 1
number of parameters: 8

id: 24
unit: def parse_cbmc_json()
file: cbmc_viewer/reachablet.py
start line: 0
end line: 0
size: 21 LOC
McCabe index: 6
number of parameters: 2

id: 25
unit: def run()
file: cbmc_viewer/runt.py
start line: 0
end line: 0
size: 21 LOC
McCabe index: 6
number of parameters: 4

id: 26
unit: def parse_json_assignment()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 21 LOC
McCabe index: 9
number of parameters: 2

id: 27
unit: def make_reachable()
file: cbmc_viewer/reachablet.py
start line: 0
end line: 0
size: 20 LOC
McCabe index: 9
number of parameters: 4

id: 28
unit: def parse_ctags_data()
file: cbmc_viewer/symbolt.py
start line: 0
end line: 0
size: 20 LOC
McCabe index: 2
number of parameters: 2

id: 29
unit: def make_symbol()
file: cbmc_viewer/symbolt.py
start line: 0
end line: 0
size: 20 LOC
McCabe index: 10
number of parameters: 6

id: 30
unit: def unmangle_loop_names()
file: cbmc_viewer/loopt.py
start line: 0
end line: 0
size: 20 LOC
McCabe index: 6
number of parameters: 1

id: 31
unit: def load_cbmc_xml()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 20 LOC
McCabe index: 5
number of parameters: 2

id: 32
unit: def make_loop()
file: cbmc_viewer/loopt.py
start line: 0
end line: 0
size: 19 LOC
McCabe index: 9
number of parameters: 4

id: 33
unit: def parse_xml_traces()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 19 LOC
McCabe index: 7
number of parameters: 2

id: 34
unit: def run()
file: summary/stubs.py
start line: 0
end line: 0
size: 19 LOC
McCabe index: 4
number of parameters: 3

id: 35
unit: def summarize_project()
file: summary/summary.py
start line: 0
end line: 0
size: 19 LOC
McCabe index: 2
number of parameters: 2

id: 36
unit: def chart_projects_csv()
file: summary/summary.py
start line: 0
end line: 0
size: 19 LOC
McCabe index: 19
number of parameters: 1

id: 37
unit: def chart_projects_json()
file: summary/summary.py
start line: 0
end line: 0
size: 19 LOC
McCabe index: 2
number of parameters: 1

id: 38
unit: def make_result()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 18 LOC
McCabe index: 7
number of parameters: 2

id: 39
unit: def load_cbmc_json()
file: cbmc_viewer/propertyt.py
start line: 0
end line: 0
size: 18 LOC
McCabe index: 7
number of parameters: 2

id: 40
unit: def relative_locations()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 18 LOC
McCabe index: 5
number of parameters: 3

id: 41
unit: def parse_xml_assignment()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 18 LOC
McCabe index: 4
number of parameters: 2

id: 42
unit: def filetype()
file: cbmc_viewer/filet.py
start line: 0
end line: 0
size: 18 LOC
McCabe index: 5
number of parameters: 1

id: 43
unit: def guess_cbmcpath_from_args()
file: summary/stubs.py
start line: 0
end line: 0
size: 18 LOC
McCabe index: 2
number of parameters: 1

id: 44
unit: def compute_default_arguments()
file: summary/stubs.py
start line: 0
end line: 0
size: 18 LOC
McCabe index: 5
number of parameters: 1

id: 45
unit: def create_parser()
file: cbmc_viewer/make_symbol.py
start line: 0
end line: 0
size: 17 LOC
McCabe index: 1
number of parameters: 0

id: 46
unit: def extract_function_coverage()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 17 LOC
McCabe index: 6
number of parameters: 1

id: 47
unit: def make_trace()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 17 LOC
McCabe index: 9
number of parameters: 4

id: 48
unit: def __init__()
file: cbmc_viewer/markup_code.py
start line: 0
end line: 0
size: 17 LOC
McCabe index: 4
number of parameters: 6

id: 49
unit: def parse_xml_string()
file: cbmc_viewer/parse.py
start line: 0
end line: 0
size: 17 LOC
McCabe index: 5
number of parameters: 3

id: 50
unit: def parse_json_string()
file: cbmc_viewer/parse.py
start line: 0
end line: 0
size: 17 LOC
McCabe index: 5
number of parameters: 4

id: 51
unit: def main()
file: summary/stubs.py
start line: 0
end line: 0
size: 17 LOC
McCabe index: 4
number of parameters: 0

id: 52
unit: def run_ctags()
file: cbmc_viewer/symbolt.py
start line: 0
end line: 0
size: 16 LOC
McCabe index: 3
number of parameters: 3

id: 53
unit: def __init__()
file: cbmc_viewer/markup_trace.py
start line: 0
end line: 0
size: 16 LOC
McCabe index: 3
number of parameters: 8

id: 54
unit: def __init__()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 16 LOC
McCabe index: 12
number of parameters: 2

id: 55
unit: def make_property()
file: cbmc_viewer/propertyt.py
start line: 0
end line: 0
size: 16 LOC
McCabe index: 7
number of parameters: 3

id: 56
unit: def make_coverage()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 16 LOC
McCabe index: 7
number of parameters: 3

id: 57
unit: def get_viewer_command_from_litani()
file: summary/stubs.py
start line: 0
end line: 0
size: 16 LOC
McCabe index: 2
number of parameters: 1

id: 58
unit: def guess_srcdir_from_viewer_command()
file: summary/stubs.py
start line: 0
end line: 0
size: 16 LOC
McCabe index: 4
number of parameters: 2

id: 59
unit: def make_relative_path()
file: cbmc_viewer/srcloct.py
start line: 0
end line: 0
size: 15 LOC
McCabe index: 9
number of parameters: 3

id: 60
unit: def make_srcloc()
file: cbmc_viewer/srcloct.py
start line: 0
end line: 0
size: 15 LOC
McCabe index: 2
number of parameters: 5

id: 61
unit: def text_srcloc()
file: cbmc_viewer/srcloct.py
start line: 0
end line: 0
size: 15 LOC
McCabe index: 5
number of parameters: 3

id: 62
unit: def extract_overall_coverage()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 15 LOC
McCabe index: 5
number of parameters: 1

id: 63
unit: def parse_text_state()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 15 LOC
McCabe index: 1
number of parameters: 3

id: 64
unit: def merge_dicts()
file: cbmc_viewer/util.py
start line: 0
end line: 0
size: 15 LOC
McCabe index: 10
number of parameters: 2

id: 65
unit: def scan_proof()
file: summary/stubs.py
start line: 0
end line: 0
size: 15 LOC
McCabe index: 1
number of parameters: 2

id: 66
unit: def create_parser()
file: cbmc_viewer/make_trace.py
start line: 0
end line: 0
size: 14 LOC
McCabe index: 1
number of parameters: 0

id: 67
unit: def create_parser()
file: cbmc_viewer/make_reachable.py
start line: 0
end line: 0
size: 14 LOC
McCabe index: 1
number of parameters: 0

id: 68
unit: def create_parser()
file: cbmc_viewer/make_loop.py
start line: 0
end line: 0
size: 14 LOC
McCabe index: 1
number of parameters: 0

id: 69
unit: def __init__()
file: cbmc_viewer/loopt.py
start line: 0
end line: 0
size: 14 LOC
McCabe index: 3
number of parameters: 4

id: 70
unit: def parse_xml_function_call()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 14 LOC
McCabe index: 1
number of parameters: 2

id: 71
unit: def parse_xml_function_return()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 14 LOC
McCabe index: 1
number of parameters: 2

id: 72
unit: def parse_json_function_call()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 14 LOC
McCabe index: 1
number of parameters: 2

id: 73
unit: def parse_json_function_return()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 14 LOC
McCabe index: 1
number of parameters: 2

id: 74
unit: def property_definition()
file: cbmc_viewer/markup_summary.py
start line: 0
end line: 0
size: 14 LOC
McCabe index: 3
number of parameters: 3

id: 75
unit: def create_parser()
file: cbmc_viewer/make_property.py
start line: 0
end line: 0
size: 13 LOC
McCabe index: 1
number of parameters: 0

id: 76
unit: def load_cbmc_xml()
file: cbmc_viewer/propertyt.py
start line: 0
end line: 0
size: 13 LOC
McCabe index: 2
number of parameters: 2

id: 77
unit: def source_method()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 13 LOC
McCabe index: 2
number of parameters: 1

id: 78
unit: def log()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 13 LOC
McCabe index: 1
number of parameters: 1

id: 79
unit: def create_parser()
file: cbmc_viewer/make_coverage.py
start line: 0
end line: 0
size: 13 LOC
McCabe index: 1
number of parameters: 0

id: 80
unit: def __init__()
file: cbmc_viewer/loopt.py
start line: 0
end line: 0
size: 13 LOC
McCabe index: 2
number of parameters: 2

id: 81
unit: def load_json()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 13 LOC
McCabe index: 3
number of parameters: 1

id: 82
unit: def function_coverage()
file: cbmc_viewer/markup_summary.py
start line: 0
end line: 0
size: 13 LOC
McCabe index: 4
number of parameters: 2

id: 83
unit: def __init__()
file: cbmc_viewer/sourcet.py
start line: 0
end line: 0
size: 12 LOC
McCabe index: 8
number of parameters: 4

id: 84
unit: def find_sources()
file: cbmc_viewer/sourcet.py
start line: 0
end line: 0
size: 12 LOC
McCabe index: 1
number of parameters: 2

id: 85
unit: def extract_source_filenames()
file: cbmc_viewer/sourcet.py
start line: 0
end line: 0
size: 12 LOC
McCabe index: 8
number of parameters: 2

id: 86
unit: def __init__()
file: cbmc_viewer/reachablet.py
start line: 0
end line: 0
size: 12 LOC
McCabe index: 2
number of parameters: 4

id: 87
unit: def parse_cbmc_text_results()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 12 LOC
McCabe index: 2
number of parameters: 1

id: 88
unit: def __init__()
file: cbmc_viewer/propertyt.py
start line: 0
end line: 0
size: 12 LOC
McCabe index: 2
number of parameters: 2

id: 89
unit: def create_parser()
file: cbmc_viewer/make_result.py
start line: 0
end line: 0
size: 12 LOC
McCabe index: 1
number of parameters: 0

id: 90
unit: def parse_text_failure()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 12 LOC
McCabe index: 3
number of parameters: 3

id: 91
unit: def create_parser()
file: cbmc_viewer/make_source.py
start line: 0
end line: 0
size: 12 LOC
McCabe index: 1
number of parameters: 0

id: 92
unit: def main()
file: cbmc_viewer/make_source.py
start line: 0
end line: 0
size: 12 LOC
McCabe index: 2
number of parameters: 0

id: 93
unit: def load_json()
file: summary/stubs.py
start line: 0
end line: 0
size: 12 LOC
McCabe index: 4
number of parameters: 2

id: 94
unit: def guess_jsonpath_from_result_paths()
file: summary/stubs.py
start line: 0
end line: 0
size: 12 LOC
McCabe index: 2
number of parameters: 2

id: 95
unit: def read_output()
file: cbmc_viewer/sourcet.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 4
number of parameters: 1

id: 96
unit: def main()
file: cbmc_viewer/make_symbol.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 2
number of parameters: 0

id: 97
unit: def __init__()
file: cbmc_viewer/symbolt.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 1
number of parameters: 4

id: 98
unit: def main()
file: cbmc_viewer/make_reachable.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 2
number of parameters: 0

id: 99
unit: def json_srcloc()
file: cbmc_viewer/srcloct.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 2
number of parameters: 2

id: 100
unit: def xml_srcloc()
file: cbmc_viewer/srcloct.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 2
number of parameters: 2

id: 101
unit: def format_srcloc()
file: cbmc_viewer/markup_trace.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 2
number of parameters: 2

id: 102
unit: def parse_cbmc_json_results()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 2
number of parameters: 1

id: 103
unit: def parse_cbmc_xml_results()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 2
number of parameters: 1

id: 104
unit: def cbmc_xml_results()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 6
number of parameters: 1

id: 105
unit: def defaults()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 5
number of parameters: 1

id: 106
unit: def new()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 5
number of parameters: 2

id: 107
unit: def env()
file: cbmc_viewer/templates.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 2
number of parameters: 0

id: 108
unit: def parse_text_assumption()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 1
number of parameters: 3

id: 109
unit: def parse_xml_failure()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 1
number of parameters: 2

id: 110
unit: def parse_json_failure()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 1
number of parameters: 2

id: 111
unit: def parse_location()
file: cbmc_viewer/symbol_table.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 5
number of parameters: 2

id: 112
unit: def parse_pretty_name()
file: cbmc_viewer/symbol_table.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 6
number of parameters: 1

id: 113
unit: def extract_viewer_flag()
file: summary/stubs.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 3
number of parameters: 2

id: 114
unit: def guess_proof_from_result_paths()
file: summary/stubs.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 3
number of parameters: 2

id: 115
unit: def defined_histogram()
file: summary/stubs.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 6
number of parameters: 2

id: 116
unit: def run()
file: summary/summary.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 3
number of parameters: 3

id: 117
unit: def clone_project()
file: summary/summary.py
start line: 0
end line: 0
size: 11 LOC
McCabe index: 2
number of parameters: 1

id: 118
unit: def select_source_files()
file: cbmc_viewer/sourcet.py
start line: 0
end line: 0
size: 10 LOC
McCabe index: 9
number of parameters: 4

id: 119
unit: def __init__()
file: cbmc_viewer/symbolt.py
start line: 0
end line: 0
size: 10 LOC
McCabe index: 3
number of parameters: 2

id: 120
unit: def have_ctags()
file: cbmc_viewer/symbolt.py
start line: 0
end line: 0
size: 10 LOC
McCabe index: 5
number of parameters: 0

id: 121
unit: def format_step()
file: cbmc_viewer/markup_trace.py
start line: 0
end line: 0
size: 10 LOC
McCabe index: 1
number of parameters: 1

id: 122
unit: def viewer_trace()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 10 LOC
McCabe index: 1
number of parameters: 1

id: 123
unit: def default_logging()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 10 LOC
McCabe index: 3
number of parameters: 1

id: 124
unit: def add_coverage_data()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 10 LOC
McCabe index: 4
number of parameters: 5

id: 125
unit: def merge()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 10 LOC
McCabe index: 3
number of parameters: 1

id: 126
unit: def loop_definition()
file: cbmc_viewer/markup_summary.py
start line: 0
end line: 0
size: 10 LOC
McCabe index: 2
number of parameters: 2

id: 127
unit: def link_text_to_line()
file: cbmc_viewer/markup_link.py
start line: 0
end line: 0
size: 10 LOC
McCabe index: 5
number of parameters: 5

id: 128
unit: def parse_xml_file()
file: cbmc_viewer/parse.py
start line: 0
end line: 0
size: 10 LOC
McCabe index: 3
number of parameters: 2

id: 129
unit: def parse_json_file()
file: cbmc_viewer/parse.py
start line: 0
end line: 0
size: 10 LOC
McCabe index: 3
number of parameters: 3

id: 130
unit: def extract_command_from_litani_command()
file: summary/stubs.py
start line: 0
end line: 0
size: 10 LOC
McCabe index: 7
number of parameters: 1

id: 131
unit: def undefined_histogram()
file: summary/stubs.py
start line: 0
end line: 0
size: 10 LOC
McCabe index: 5
number of parameters: 2

id: 132
unit: def find_sources()
file: cbmc_viewer/sourcet.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 4
number of parameters: 3

id: 133
unit: def extract_filenames()
file: cbmc_viewer/sourcet.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 3
number of parameters: 2

id: 134
unit: def merge_function_lists()
file: cbmc_viewer/reachablet.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 4
number of parameters: 1

id: 135
unit: def cbmc_text_status()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 7
number of parameters: 2

id: 136
unit: def cbmc_text_prover()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 3
number of parameters: 1

id: 137
unit: def wkdir()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 1
number of parameters: 1

id: 138
unit: def reportdir()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 1
number of parameters: 1

id: 139
unit: def result()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 1
number of parameters: 1

id: 140
unit: def coverage()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 1
number of parameters: 1

id: 141
unit: def property()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 1
number of parameters: 1

id: 142
unit: def extensions()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 1
number of parameters: 1

id: 143
unit: def config()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 1
number of parameters: 1

id: 144
unit: def viewer_reachable()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 1
number of parameters: 1

id: 145
unit: def viewer_coverage()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 1
number of parameters: 1

id: 146
unit: def viewer_loop()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 1
number of parameters: 1

id: 147
unit: def viewer_property()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 1
number of parameters: 1

id: 148
unit: def viewer_result()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 1
number of parameters: 1

id: 149
unit: def viewer_source()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 1
number of parameters: 1

id: 150
unit: def viewer_symbol()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 1
number of parameters: 1

id: 151
unit: def version()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 1
number of parameters: 1

id: 152
unit: def parse_cbmc_json()
file: cbmc_viewer/loopt.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 7
number of parameters: 2

id: 153
unit: def __str__()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 4
number of parameters: 1

id: 154
unit: def parse_lines()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 5
number of parameters: 1

id: 155
unit: def dump()
file: cbmc_viewer/util.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 4
number of parameters: 3

id: 156
unit: def overall_coverage()
file: cbmc_viewer/markup_summary.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 2
number of parameters: 1

id: 157
unit: def link_text_to_file()
file: cbmc_viewer/markup_link.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 5
number of parameters: 4

id: 158
unit: def untabify_line()
file: cbmc_viewer/markup_code.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 3
number of parameters: 2

id: 159
unit: def parse_symbol()
file: cbmc_viewer/symbol_table.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 4
number of parameters: 1

id: 160
unit: def source_files()
file: cbmc_viewer/symbol_table.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 8
number of parameters: 3

id: 161
unit: def stubbed_reachable_functions()
file: summary/stubs.py
start line: 0
end line: 0
size: 9 LOC
McCabe index: 7
number of parameters: 2

id: 162
unit: def main()
file: cbmc_viewer/make_trace.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 2
number of parameters: 0

id: 163
unit: def __init__()
file: cbmc_viewer/configt.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 3
number of parameters: 2

id: 164
unit: def cbmc_json_status()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 3
number of parameters: 1

id: 165
unit: def cbmc_json_warnings()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 3
number of parameters: 1

id: 166
unit: def cbmc_text_results()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 3
number of parameters: 1

id: 167
unit: def main()
file: cbmc_viewer/make_property.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 2
number of parameters: 0

id: 168
unit: def key()
file: cbmc_viewer/propertyt.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 169
unit: def main()
file: cbmc_viewer/make_loop.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 2
number of parameters: 0

id: 170
unit: def srcdir()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 1
number of parameters: 1

id: 171
unit: def block()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 1
number of parameters: 1

id: 172
unit: def htmldir()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 1
number of parameters: 1

id: 173
unit: def srcexclude()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 1
number of parameters: 1

id: 174
unit: def main()
file: cbmc_viewer/make_result.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 2
number of parameters: 0

id: 175
unit: def main()
file: cbmc_viewer/make_coverage.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 2
number of parameters: 0

id: 176
unit: def lookup_static()
file: cbmc_viewer/loopt.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 5
number of parameters: 2

id: 177
unit: def __repr__()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 5
number of parameters: 1

id: 178
unit: def extract_line_coverage()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 4
number of parameters: 1

id: 179
unit: def repair_json()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 6
number of parameters: 1

id: 180
unit: def parse_text_assignment()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 4
number of parameters: 1

id: 181
unit: def parse_json_traces()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 6
number of parameters: 2

id: 182
unit: def binary_as_bytes()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 3
number of parameters: 1

id: 183
unit: def strip_external_srclocs()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 8
number of parameters: 1

id: 184
unit: def warnings()
file: cbmc_viewer/markup_summary.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 4
number of parameters: 1

id: 185
unit: def path_to_file()
file: cbmc_viewer/markup_link.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 2
number of parameters: 2

id: 186
unit: def link_symbols_in_text()
file: cbmc_viewer/markup_link.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 3
number of parameters: 4

id: 187
unit: def load_missing_functions()
file: summary/stubs.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 5
number of parameters: 1

id: 188
unit: def is_cbmc_file()
file: summary/stubs.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 3
number of parameters: 2

id: 189
unit: def is_cbmc_harness()
file: summary/stubs.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 2
number of parameters: 2

id: 190
unit: def extract_viewer_command()
file: summary/stubs.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 5
number of parameters: 1

id: 191
unit: def viewer_result_paths()
file: summary/stubs.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 5
number of parameters: 1

id: 192
unit: def clean_project()
file: summary/summary.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 193
unit: def build_project()
file: summary/summary.py
start line: 0
end line: 0
size: 8 LOC
McCabe index: 2
number of parameters: 2

id: 194
unit: def build_with_preprocessor()
file: cbmc_viewer/sourcet.py
start line: 0
end line: 0
size: 7 LOC
McCabe index: 4
number of parameters: 1

id: 195
unit: def progress()
file: cbmc_viewer/viewer.py
start line: 0
end line: 0
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 196
unit: def global_progress()
file: cbmc_viewer/viewer.py
start line: 0
end line: 0
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 197
unit: def load_results()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 7 LOC
McCabe index: 4
number of parameters: 1

id: 198
unit: def cbmc_json_results()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 7 LOC
McCabe index: 4
number of parameters: 1

id: 199
unit: def goto()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 200
unit: def exclude()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 201
unit: def blddir()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 202
unit: def storm()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 203
unit: def warn_against_using_text_for_cbmc_output()
file: cbmc_viewer/optionst.py
start line: 0
end line: 0
size: 7 LOC
McCabe index: 4
number of parameters: 1

id: 204
unit: def combine()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 7 LOC
McCabe index: 4
number of parameters: 2

id: 205
unit: def __init__()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 7 LOC
McCabe index: 3
number of parameters: 2

id: 206
unit: def parse_chunk()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 207
unit: function hideFunction()
file: cbmc_viewer/viewer.js
start line: 50
end line: 56
size: 7 LOC
McCabe index: 3
number of parameters: 1

id: 208
unit: function showFunction()
file: cbmc_viewer/viewer.js
start line: 58
end line: 64
size: 7 LOC
McCabe index: 3
number of parameters: 1

id: 209
unit: function toggleFunction()
file: cbmc_viewer/viewer.js
start line: 66
end line: 72
size: 7 LOC
McCabe index: 3
number of parameters: 1

id: 210
unit: function hideSiblings()
file: cbmc_viewer/viewer.js
start line: 91
end line: 97
size: 7 LOC
McCabe index: 3
number of parameters: 1

id: 211
unit: def configure_logger()
file: summary/stubs.py
start line: 0
end line: 0
size: 7 LOC
McCabe index: 3
number of parameters: 2

id: 212
unit: def is_builtin()
file: summary/stubs.py
start line: 0
end line: 0
size: 7 LOC
McCabe index: 3
number of parameters: 1

id: 213
unit: def guess_jsonpath_from_viewer_command()
file: summary/stubs.py
start line: 0
end line: 0
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 214
unit: def configure_logger()
file: summary/summary.py
start line: 0
end line: 0
size: 7 LOC
McCabe index: 3
number of parameters: 2

id: 215
unit: def find_sources()
file: cbmc_viewer/sourcet.py
start line: 0
end line: 0
size: 6 LOC
McCabe index: 1
number of parameters: 3

id: 216
unit: def relpath()
file: cbmc_viewer/srcloct.py
start line: 0
end line: 0
size: 6 LOC
McCabe index: 3
number of parameters: 2

id: 217
unit: def format_function_call()
file: cbmc_viewer/markup_trace.py
start line: 0
end line: 0
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 218
unit: def format_function_return()
file: cbmc_viewer/markup_trace.py
start line: 0
end line: 0
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 219
unit: def cbmc_json_program()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 6 LOC
McCabe index: 3
number of parameters: 1

id: 220
unit: def cbmc_xml_status()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 6 LOC
McCabe index: 3
number of parameters: 1

id: 221
unit: def cbmc_text_warnings()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 6 LOC
McCabe index: 3
number of parameters: 1

id: 222
unit: def cbmc_xml_warnings()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 6 LOC
McCabe index: 3
number of parameters: 1

id: 223
unit: def cbmc_json_prover()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 6 LOC
McCabe index: 4
number of parameters: 1

id: 224
unit: def lookup_assertion()
file: cbmc_viewer/loopt.py
start line: 0
end line: 0
size: 6 LOC
McCabe index: 4
number of parameters: 2

id: 225
unit: def update_coverage()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 6 LOC
McCabe index: 1
number of parameters: 5

id: 226
unit: def parse_coverage_description()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 6 LOC
McCabe index: 2
number of parameters: 1

id: 227
unit: def __init__()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 6 LOC
McCabe index: 2
number of parameters: 4

id: 228
unit: def property_failures()
file: cbmc_viewer/markup_summary.py
start line: 0
end line: 0
size: 6 LOC
McCabe index: 2
number of parameters: 3

id: 229
unit: def link_text_to_srcloc()
file: cbmc_viewer/markup_link.py
start line: 0
end line: 0
size: 6 LOC
McCabe index: 4
number of parameters: 4

id: 230
unit: def link_symbols_in_code_block()
file: cbmc_viewer/markup_code.py
start line: 0
end line: 0
size: 6 LOC
McCabe index: 4
number of parameters: 3

id: 231
unit: def link_symbols()
file: cbmc_viewer/markup_code.py
start line: 0
end line: 0
size: 6 LOC
McCabe index: 2
number of parameters: 3

id: 232
unit: def annotate_code()
file: cbmc_viewer/markup_code.py
start line: 0
end line: 0
size: 6 LOC
McCabe index: 2
number of parameters: 3

id: 233
unit: function eventToggleFunction()
file: cbmc_viewer/viewer.js
start line: 74
end line: 79
size: 6 LOC
McCabe index: 3
number of parameters: 1

id: 234
unit: def get_viewer_command_from_make()
file: summary/stubs.py
start line: 0
end line: 0
size: 6 LOC
McCabe index: 3
number of parameters: 1

id: 235
unit: def extract_reportdir()
file: summary/stubs.py
start line: 0
end line: 0
size: 6 LOC
McCabe index: 2
number of parameters: 1

id: 236
unit: def __init__()
file: cbmc_viewer/sourcet.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 2
number of parameters: 5

id: 237
unit: def __init__()
file: cbmc_viewer/reachablet.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 2
number of parameters: 2

id: 238
unit: def __init__()
file: cbmc_viewer/reachablet.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 2
number of parameters: 2

id: 239
unit: def __init__()
file: cbmc_viewer/reachablet.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 240
unit: def __init__()
file: cbmc_viewer/symbolt.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 2
number of parameters: 2

id: 241
unit: def builtin_name()
file: cbmc_viewer/srcloct.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 3
number of parameters: 1

id: 242
unit: def __str__()
file: cbmc_viewer/markup_trace.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 243
unit: def format_variable_assignment()
file: cbmc_viewer/markup_trace.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 2
number of parameters: 1

id: 244
unit: def format_parameter_assignment()
file: cbmc_viewer/markup_trace.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 2
number of parameters: 1

id: 245
unit: def cbmc_text_program()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 3
number of parameters: 1

id: 246
unit: def cbmc_xml_program()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 2
number of parameters: 1

id: 247
unit: def cbmc_xml_prover()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 3
number of parameters: 1

id: 248
unit: def __init__()
file: cbmc_viewer/propertyt.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 2
number of parameters: 2

id: 249
unit: def __init__()
file: cbmc_viewer/loopt.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 2
number of parameters: 2

id: 250
unit: def parse_cbmc_xml()
file: cbmc_viewer/loopt.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 3
number of parameters: 2

id: 251
unit: def __init__()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 2
number of parameters: 3

id: 252
unit: def __init__()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 2
number of parameters: 3

id: 253
unit: def __init__()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 2
number of parameters: 3

id: 254
unit: def __init__()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 2
number of parameters: 3

id: 255
unit: def choose()
file: cbmc_viewer/util.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 5
number of parameters: 1

id: 256
unit: def missing_functions()
file: cbmc_viewer/markup_summary.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 3
number of parameters: 1

id: 257
unit: def expected_missing_functions()
file: cbmc_viewer/markup_summary.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 3
number of parameters: 2

id: 258
unit: def unexpected_missing_functions()
file: cbmc_viewer/markup_summary.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 3
number of parameters: 2

id: 259
unit: def loop_failures()
file: cbmc_viewer/markup_summary.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 2
number of parameters: 2

id: 260
unit: def other_failures()
file: cbmc_viewer/markup_summary.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 2
number of parameters: 3

id: 261
unit: def link_text_to_symbol()
file: cbmc_viewer/markup_link.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 2
number of parameters: 5

id: 262
unit: def clean_up_goto_analyzer()
file: cbmc_viewer/parse.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 263
unit: function hideFunctionBody()
file: cbmc_viewer/viewer.js
start line: 30
end line: 34
size: 5 LOC
McCabe index: 2
number of parameters: 1

id: 264
unit: function showFunctionBody()
file: cbmc_viewer/viewer.js
start line: 36
end line: 40
size: 5 LOC
McCabe index: 2
number of parameters: 1

id: 265
unit: function toggleFunctionBody()
file: cbmc_viewer/viewer.js
start line: 42
end line: 46
size: 5 LOC
McCabe index: 2
number of parameters: 1

id: 266
unit: function eventHideSiblings()
file: cbmc_viewer/viewer.js
start line: 99
end line: 103
size: 5 LOC
McCabe index: 3
number of parameters: 1

id: 267
unit: def is_viewer_command()
file: summary/stubs.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 3
number of parameters: 2

id: 268
unit: def is_litani_command()
file: summary/stubs.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 3
number of parameters: 2

id: 269
unit: def get_viewer_command()
file: summary/stubs.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 2
number of parameters: 2

id: 270
unit: def log_arguments()
file: summary/stubs.py
start line: 0
end line: 0
size: 5 LOC
McCabe index: 3
number of parameters: 2

id: 271
unit: def validate()
file: cbmc_viewer/sourcet.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 272
unit: def validate()
file: cbmc_viewer/reachablet.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 273
unit: def __init__()
file: cbmc_viewer/reachablet.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 2
number of parameters: 3

id: 274
unit: def __str__()
file: cbmc_viewer/symbolt.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 275
unit: def validate()
file: cbmc_viewer/symbolt.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 276
unit: def __init__()
file: cbmc_viewer/symbolt.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 1
number of parameters: 3

id: 277
unit: def elapsed()
file: cbmc_viewer/viewer.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 278
unit: def validate()
file: cbmc_viewer/markup_trace.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 279
unit: def dump()
file: cbmc_viewer/markup_trace.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 3
number of parameters: 3

id: 280
unit: def format_failure()
file: cbmc_viewer/markup_trace.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 3
number of parameters: 1

id: 281
unit: def validate()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 282
unit: def __init__()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 283
unit: def __init__()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 284
unit: def __init__()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 285
unit: def __init__()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 286
unit: def validate()
file: cbmc_viewer/propertyt.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 287
unit: def __init__()
file: cbmc_viewer/propertyt.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 2
number of parameters: 3

id: 288
unit: def __init__()
file: cbmc_viewer/propertyt.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 2
number of parameters: 3

id: 289
unit: def validate()
file: cbmc_viewer/loopt.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 290
unit: def __init__()
file: cbmc_viewer/loopt.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 2
number of parameters: 3

id: 291
unit: def __init__()
file: cbmc_viewer/loopt.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 2
number of parameters: 3

id: 292
unit: def validate()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 293
unit: def __init__()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 294
unit: def parse_basic_block()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 3
number of parameters: 1

id: 295
unit: def render_summary()
file: cbmc_viewer/templates.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 296
unit: def render_code()
file: cbmc_viewer/templates.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 1
number of parameters: 3

id: 297
unit: def render_trace()
file: cbmc_viewer/templates.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 1
number of parameters: 4

id: 298
unit: def __init__()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 299
unit: def validate()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 300
unit: def __init__()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 301
unit: def version()
file: cbmc_viewer/version.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 2
number of parameters: 1

id: 302
unit: def flatten()
file: cbmc_viewer/util.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 5
number of parameters: 1

id: 303
unit: def validate()
file: cbmc_viewer/markup_summary.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 304
unit: def other_warnings()
file: cbmc_viewer/markup_summary.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 3
number of parameters: 1

id: 305
unit: def other_definition()
file: cbmc_viewer/markup_summary.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 3
number of parameters: 3

id: 306
unit: def __str__()
file: cbmc_viewer/markup_code.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 307
unit: def validate()
file: cbmc_viewer/markup_code.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 308
unit: def dump()
file: cbmc_viewer/markup_code.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 3
number of parameters: 3

id: 309
unit: def untabify_code()
file: cbmc_viewer/markup_code.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 310
unit: def is_quote()
file: cbmc_viewer/markup_code.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 4
number of parameters: 2

id: 311
unit: def symbol_table()
file: cbmc_viewer/symbol_table.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 2
number of parameters: 1

id: 312
unit: def scan_proofs()
file: summary/stubs.py
start line: 0
end line: 0
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 313
unit: def __repr__()
file: cbmc_viewer/sourcet.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 314
unit: def __init__()
file: cbmc_viewer/sourcet.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 5

id: 315
unit: def __init__()
file: cbmc_viewer/sourcet.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 5

id: 316
unit: def __init__()
file: cbmc_viewer/sourcet.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 4

id: 317
unit: def fail()
file: cbmc_viewer/sourcet.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 318
unit: def __repr__()
file: cbmc_viewer/reachablet.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 319
unit: def sort_function_names()
file: cbmc_viewer/reachablet.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 320
unit: def load_cbmc_json()
file: cbmc_viewer/reachablet.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 321
unit: def fail()
file: cbmc_viewer/reachablet.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 322
unit: def fail()
file: cbmc_viewer/symbolt.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 323
unit: def __init__()
file: cbmc_viewer/markup_trace.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 324
unit: def format_assumption()
file: cbmc_viewer/markup_trace.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 325
unit: def __repr__()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 326
unit: def fail()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 327
unit: def __repr__()
file: cbmc_viewer/propertyt.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 328
unit: def fail()
file: cbmc_viewer/propertyt.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 329
unit: def __repr__()
file: cbmc_viewer/loopt.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 330
unit: def fail()
file: cbmc_viewer/loopt.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 331
unit: def __repr__()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 332
unit: def fail()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 333
unit: def __repr__()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 334
unit: def load_traces()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 335
unit: def parse_xml_trace()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 4
number of parameters: 2

id: 336
unit: def parse_xml_location_only()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 337
unit: def parse_json_trace()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 4
number of parameters: 2

id: 338
unit: def parse_json_location_only()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 339
unit: def fail()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 340
unit: def link_symbols_in_code_blocks()
file: cbmc_viewer/markup_code.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 2
number of parameters: 3

id: 341
unit: function isFunction()
file: cbmc_viewer/viewer.js
start line: 8
end line: 10
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 342
unit: function isFunctionCall()
file: cbmc_viewer/viewer.js
start line: 12
end line: 14
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 343
unit: function isFunctionBody()
file: cbmc_viewer/viewer.js
start line: 16
end line: 18
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 344
unit: function isFunctionReturn()
file: cbmc_viewer/viewer.js
start line: 20
end line: 22
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 345
unit: function isHidden()
file: cbmc_viewer/viewer.js
start line: 24
end line: 26
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 346
unit: def load_config()
file: summary/stubs.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 347
unit: def load_viewer_result()
file: summary/stubs.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 348
unit: def load_viewer_reachable()
file: summary/stubs.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 349
unit: def load_reachable_functions()
file: summary/stubs.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 350
unit: def load_expected_missing_functions()
file: summary/stubs.py
start line: 0
end line: 0
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 351
unit: def expected_missing_functions()
file: cbmc_viewer/configt.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 352
unit: def __str__()
file: cbmc_viewer/sourcet.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 353
unit: def dump()
file: cbmc_viewer/sourcet.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 3

id: 354
unit: def __str__()
file: cbmc_viewer/reachablet.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 355
unit: def dump()
file: cbmc_viewer/reachablet.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 3

id: 356
unit: def __repr__()
file: cbmc_viewer/symbolt.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 2
number of parameters: 1

id: 357
unit: def dump()
file: cbmc_viewer/symbolt.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 3

id: 358
unit: def lookup()
file: cbmc_viewer/symbolt.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 2

id: 359
unit: def is_builtin()
file: cbmc_viewer/srcloct.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 360
unit: def normpath()
file: cbmc_viewer/srcloct.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 361
unit: def abspath()
file: cbmc_viewer/srcloct.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 362
unit: def is_missing()
file: cbmc_viewer/srcloct.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 363
unit: def file_is_not_a_source_file()
file: cbmc_viewer/srcloct.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 3
number of parameters: 1

id: 364
unit: def json_srcloc_wkdir()
file: cbmc_viewer/srcloct.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 365
unit: def xml_srcloc_wkdir()
file: cbmc_viewer/srcloct.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 366
unit: def __init__()
file: cbmc_viewer/viewer.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 367
unit: def reset()
file: cbmc_viewer/viewer.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 368
unit: def lookup_srcloc()
file: cbmc_viewer/markup_trace.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 2

id: 369
unit: def __str__()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 370
unit: def dump()
file: cbmc_viewer/resultt.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 3

id: 371
unit: def __str__()
file: cbmc_viewer/propertyt.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 372
unit: def dump()
file: cbmc_viewer/propertyt.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 3

id: 373
unit: def names()
file: cbmc_viewer/propertyt.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 374
unit: def lookup()
file: cbmc_viewer/propertyt.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 2

id: 375
unit: def get_description()
file: cbmc_viewer/propertyt.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 3
number of parameters: 2

id: 376
unit: def get_srcloc()
file: cbmc_viewer/propertyt.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 2
number of parameters: 2

id: 377
unit: def __str__()
file: cbmc_viewer/loopt.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 378
unit: def dump()
file: cbmc_viewer/loopt.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 3

id: 379
unit: def names()
file: cbmc_viewer/loopt.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 380
unit: def lookup()
file: cbmc_viewer/loopt.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 2

id: 381
unit: def load_cbmc_json()
file: cbmc_viewer/loopt.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 2

id: 382
unit: def load_cbmc_xml()
file: cbmc_viewer/loopt.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 2

id: 383
unit: def __str__()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 384
unit: def dump()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 3

id: 385
unit: def lookup()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 3

id: 386
unit: def parse_coverage_status()
file: cbmc_viewer/coveraget.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 2
number of parameters: 1

id: 387
unit: def __str__()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 388
unit: def dump()
file: cbmc_viewer/tracet.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 3

id: 389
unit: def __str__()
file: cbmc_viewer/markup_summary.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 390
unit: def dump()
file: cbmc_viewer/markup_summary.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 3
number of parameters: 3

id: 391
unit: def filter_none()
file: cbmc_viewer/markup_summary.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 3
number of parameters: 1

id: 392
unit: def split_text_into_symbols()
file: cbmc_viewer/markup_link.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 393
unit: def progress_default()
file: cbmc_viewer/report.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 394
unit: def is_multiline_comment_start()
file: cbmc_viewer/markup_code.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 3
number of parameters: 2

id: 395
unit: def is_multiline_comment_end()
file: cbmc_viewer/markup_code.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 3
number of parameters: 2

id: 396
unit: def is_singleline_comment_start()
file: cbmc_viewer/markup_code.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 3
number of parameters: 2

id: 397
unit: def is_singleline_comment_end()
file: cbmc_viewer/markup_code.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 3
number of parameters: 2

id: 398
unit: def split_code_into_symbols()
file: cbmc_viewer/markup_code.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 399
unit: def is_text_file()
file: cbmc_viewer/filet.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 400
unit: def is_json_file()
file: cbmc_viewer/filet.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 401
unit: def is_xml_file()
file: cbmc_viewer/filet.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 402
unit: def all_text_files()
file: cbmc_viewer/filet.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 2
number of parameters: 1

id: 403
unit: def all_json_files()
file: cbmc_viewer/filet.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 2
number of parameters: 1

id: 404
unit: def all_xml_files()
file: cbmc_viewer/filet.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 2
number of parameters: 1

id: 405
unit: def any_text_files()
file: cbmc_viewer/filet.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 2
number of parameters: 1

id: 406
unit: def is_symbol_line()
file: cbmc_viewer/symbol_table.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 407
unit: def is_location_line()
file: cbmc_viewer/symbol_table.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 408
unit: def is_pretty_name_line()
file: cbmc_viewer/symbol_table.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 409
unit: def parse_arguments()
file: summary/stubs.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 410
unit: def strip_whitespace()
file: summary/stubs.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 411
unit: def expected_missing_functions()
file: summary/stubs.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 3
number of parameters: 2

id: 412
unit: def unexpected_missing_functions()
file: summary/stubs.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 3
number of parameters: 2

id: 413
unit: def command_name()
file: summary/stubs.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 414
unit: def get_make_commands()
file: summary/stubs.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 415
unit: def extract_srcdir()
file: summary/stubs.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 416
unit: def parse_arguments()
file: summary/summary.py
start line: 0
end line: 0
size: 2 LOC
McCabe index: 1
number of parameters: 0