id: 1
unit: fn and()
file: checker/src/abstract_value.rs
start line: 1128
end line: 1711
size: 577 LOC
McCabe index: 271
number of parameters: 2

id: 2
unit: fn or()
file: checker/src/abstract_value.rs
start line: 4007
end line: 4657
size: 559 LOC
McCabe index: 116
number of parameters: 2

id: 3
unit: fn refine_parameters_and_paths()
file: checker/src/abstract_value.rs
start line: 5805
end line: 6265
size: 436 LOC
McCabe index: 22
number of parameters: 3

id: 4
unit: fn visit_const_kind()
file: checker/src/block_visitor.rs
start line: 2438
end line: 2810
size: 355 LOC
McCabe index: 25
number of parameters: 2

id: 5
unit: fn conditional_expression()
file: checker/src/abstract_value.rs
start line: 1973
end line: 2363
size: 331 LOC
McCabe index: 88
number of parameters: 3

id: 6
unit: fn get_known_name_for()
file: checker/src/known_names.rs
start line: 142
end line: 480
size: 314 LOC
McCabe index: 3
number of parameters: 2

id: 7
unit: fn refine_with()
file: checker/src/abstract_value.rs
start line: 6283
end line: 6582
size: 277 LOC
McCabe index: 22
number of parameters: 3

id: 8
unit: fn deserialize_constant_bytes()
file: checker/src/block_visitor.rs
start line: 2816
end line: 3055
size: 232 LOC
McCabe index: 9
number of parameters: 4

id: 9
unit: fn equals()
file: checker/src/abstract_value.rs
start line: 2521
end line: 2778
size: 230 LOC
McCabe index: 51
number of parameters: 2

id: 10
unit: fn report_calls_to_special_functions()
file: checker/src/call_visitor.rs
start line: 755
end line: 1012
size: 212 LOC
McCabe index: 28
number of parameters: 1

id: 11
unit: fn addition()
file: checker/src/abstract_value.rs
start line: 741
end line: 944
size: 203 LOC
McCabe index: 2
number of parameters: 2

id: 12
unit: fn general_has_tag()
file: checker/src/z3_solver.rs
start line: 678
end line: 886
size: 196 LOC
McCabe index: 4
number of parameters: 3

id: 13
unit: fn fmt()
file: checker/src/expression.rs
start line: 447
end line: 638
size: 192 LOC
McCabe index: 4
number of parameters: 2

id: 14
unit: fn canonicalize()
file: checker/src/path.rs
start line: 833
end line: 1006
size: 171 LOC
McCabe index: 38
number of parameters: 2

id: 15
unit: fn check_function_preconditions()
file: checker/src/call_visitor.rs
start line: 2634
end line: 2845
size: 169 LOC
McCabe index: 32
number of parameters: 2

id: 16
unit: fn visit_call()
file: checker/src/block_visitor.rs
start line: 539
end line: 719
size: 169 LOC
McCabe index: 23
number of parameters: 5

id: 17
unit: fn append_mangled_type, tcx: TyCtxt)()
file: checker/src/utils.rs
start line: 164
end line: 329
size: 165 LOC
McCabe index: 17
number of parameters: 2

id: 18
unit: fn make_presence_check()
file: checker/src/abstract_value.rs
start line: 299
end line: 473
size: 160 LOC
McCabe index: 11
number of parameters: 2

id: 19
unit: fn get_as_numeric_z3_ast()
file: checker/src/z3_solver.rs
start line: 1004
end line: 1160
size: 157 LOC
McCabe index: 4
number of parameters: 2

id: 20
unit: fn make_absence_check()
file: checker/src/abstract_value.rs
start line: 477
end line: 641
size: 150 LOC
McCabe index: 9
number of parameters: 2

id: 21
unit: fn promote_reference()
file: checker/src/body_visitor.rs
start line: 908
end line: 1057
size: 149 LOC
McCabe index: 18
number of parameters: 5

id: 22
unit: fn get_as_z3_ast()
file: checker/src/z3_solver.rs
start line: 214
end line: 362
size: 149 LOC
McCabe index: 5
number of parameters: 2

id: 23
unit: fn handle_check_tag()
file: checker/src/call_visitor.rs
start line: 1458
end line: 1618
size: 147 LOC
McCabe index: 34
number of parameters: 2

id: 24
unit: fn inline_indirectly_called_function()
file: checker/src/call_visitor.rs
start line: 1167
end line: 1321
size: 136 LOC
McCabe index: 16
number of parameters: 1

id: 25
unit: fn try_to_inline_special_function()
file: checker/src/call_visitor.rs
start line: 1021
end line: 1153
size: 132 LOC
McCabe index: 4
number of parameters: 1

id: 26
unit: fn visit_cast()
file: checker/src/block_visitor.rs
start line: 1987
end line: 2132
size: 130 LOC
McCabe index: 19
number of parameters: 5

id: 27
unit: fn copy_field_bits()
file: checker/src/body_visitor.rs
start line: 1948
end line: 2086
size: 129 LOC
McCabe index: 22
number of parameters: 3

id: 28
unit: fn get_as_bv_z3_ast()
file: checker/src/z3_solver.rs
start line: 1770
end line: 1890
size: 120 LOC
McCabe index: 1
number of parameters: 3

id: 29
unit: fn get_tags()
file: checker/src/abstract_value.rs
start line: 5555
end line: 5693
size: 114 LOC
McCabe index: 4
number of parameters: 1

id: 30
unit: fn join()
file: checker/src/abstract_value.rs
start line: 3324
end line: 3457
size: 113 LOC
McCabe index: 24
number of parameters: 2

id: 31
unit: fn visit_assert()
file: checker/src/block_visitor.rs
start line: 1422
end line: 1557
size: 112 LOC
McCabe index: 16
number of parameters: 6

id: 32
unit: fn visit_address_of()
file: checker/src/block_visitor.rs
start line: 1778
end line: 1922
size: 111 LOC
McCabe index: 11
number of parameters: 3

id: 33
unit: fn import_def_id_as_static()
file: checker/src/body_visitor.rs
start line: 604
end line: 708
size: 105 LOC
McCabe index: 9
number of parameters: 4

id: 34
unit: fn get_widened_subexpression()
file: checker/src/abstract_value.rs
start line: 5698
end line: 5799
size: 102 LOC
McCabe index: 12
number of parameters: 2

id: 35
unit: fn try_to_devirtualize()
file: checker/src/call_visitor.rs
start line: 185
end line: 288
size: 100 LOC
McCabe index: 17
number of parameters: 1

id: 36
unit: fn get_discriminator_info()
file: checker/src/block_visitor.rs
start line: 3189
end line: 3314
size: 99 LOC
McCabe index: 7
number of parameters: 3

id: 37
unit: fn numeric_cast()
file: checker/src/z3_solver.rs
start line: 1380
end line: 1487
size: 99 LOC
McCabe index: 12
number of parameters: 3

id: 38
unit: fn less_or_equal()
file: checker/src/abstract_value.rs
start line: 3461
end line: 3570
size: 99 LOC
McCabe index: 21
number of parameters: 2

id: 39
unit: fn cast()
file: checker/src/abstract_value.rs
start line: 1875
end line: 1969
size: 92 LOC
McCabe index: 11
number of parameters: 2

id: 40
unit: fn get_as_interval()
file: checker/src/abstract_value.rs
start line: 5412
end line: 5507
size: 92 LOC
McCabe index: 9
number of parameters: 1

id: 41
unit: fn visit_drop()
file: checker/src/block_visitor.rs
start line: 429
end line: 524
size: 91 LOC
McCabe index: 6
number of parameters: 4

id: 42
unit: fn dereference()
file: checker/src/abstract_value.rs
start line: 2367
end line: 2459
size: 91 LOC
McCabe index: 5
number of parameters: 2

id: 43
unit: fn subtract()
file: checker/src/abstract_value.rs
start line: 4814
end line: 4910
size: 90 LOC
McCabe index: 13
number of parameters: 2

id: 44
unit: fn handle_write_bytes()
file: checker/src/call_visitor.rs
start line: 2424
end line: 2512
size: 89 LOC
McCabe index: 8
number of parameters: 1

id: 45
unit: fn promote_constants()
file: checker/src/body_visitor.rs
start line: 812
end line: 901
size: 89 LOC
McCabe index: 8
number of parameters: 1

id: 46
unit: fn get_as_bool_z3_ast()
file: checker/src/z3_solver.rs
start line: 1679
end line: 1767
size: 88 LOC
McCabe index: 4
number of parameters: 2

id: 47
unit: fn addition()
file: checker/src/abstract_value.rs
start line: 947
end line: 1037
size: 87 LOC
McCabe index: 19
number of parameters: 2

id: 48
unit: fn uses()
file: checker/src/abstract_value.rs
start line: 6785
end line: 6870
size: 86 LOC
McCabe index: 14
number of parameters: 2

id: 49
unit: fn main()
file: checker/src/main.rs
start line: 35
end line: 144
size: 85 LOC
McCabe index: 12
number of parameters: 0

id: 50
unit: fn not_equals()
file: checker/src/abstract_value.rs
start line: 3816
end line: 3915
size: 84 LOC
McCabe index: 21
number of parameters: 2

id: 51
unit: fn get_value_to_check_for_tag()
file: checker/src/call_visitor.rs
start line: 1624
end line: 1709
size: 82 LOC
McCabe index: 3
number of parameters: 5

id: 52
unit: fn to_datalog()
file: checker/src/call_graph.rs
start line: 903
end line: 990
size: 82 LOC
McCabe index: 11
number of parameters: 5

id: 53
unit: fn less_than()
file: checker/src/abstract_value.rs
start line: 3574
end line: 3665
size: 82 LOC
McCabe index: 19
number of parameters: 2

id: 54
unit: fn get_enum_variant_as_constant()
file: checker/src/block_visitor.rs
start line: 3103
end line: 3187
size: 81 LOC
McCabe index: 7
number of parameters: 3

id: 55
unit: fn greater_than()
file: checker/src/abstract_value.rs
start line: 2926
end line: 3011
size: 75 LOC
McCabe index: 17
number of parameters: 2

id: 56
unit: fn extract_tag_kind_and_propagation_set()
file: checker/src/call_visitor.rs
start line: 3060
end line: 3149
size: 74 LOC
McCabe index: 8
number of parameters: 1

id: 57
unit: fn try_to_retype_as()
file: checker/src/abstract_value.rs
start line: 5074
end line: 5148
size: 74 LOC
McCabe index: 3
number of parameters: 2

id: 58
unit: fn handled_clone()
file: checker/src/call_visitor.rs
start line: 646
end line: 731
size: 73 LOC
McCabe index: 8
number of parameters: 1

id: 59
unit: fn visit_switch_int()
file: checker/src/block_visitor.rs
start line: 303
end line: 379
size: 70 LOC
McCabe index: 6
number of parameters: 4

id: 60
unit: fn get_initial_state_from_predecessors()
file: checker/src/fixed_point_visitor.rs
start line: 242
end line: 334
size: 70 LOC
McCabe index: 10
number of parameters: 3

id: 61
unit: fn general_relational()
file: checker/src/z3_solver.rs
start line: 420
end line: 488
size: 69 LOC
McCabe index: 11
number of parameters: 6

id: 62
unit: fn greater_or_equal()
file: checker/src/abstract_value.rs
start line: 2846
end line: 2922
size: 68 LOC
McCabe index: 14
number of parameters: 2

id: 63
unit: fn refine_parameters_and_paths()
file: checker/src/path.rs
start line: 758
end line: 824
size: 67 LOC
McCabe index: 6
number of parameters: 3

id: 64
unit: fn handle_get_model_field()
file: checker/src/call_visitor.rs
start line: 1714
end line: 1790
size: 65 LOC
McCabe index: 5
number of parameters: 1

id: 65
unit: fn add_overflows()
file: checker/src/abstract_value.rs
start line: 1041
end line: 1105
size: 64 LOC
McCabe index: 17
number of parameters: 3

id: 66
unit: fn mul_overflows()
file: checker/src/abstract_value.rs
start line: 3727
end line: 3800
size: 63 LOC
McCabe index: 15
number of parameters: 3

id: 67
unit: fn logical_not()
file: checker/src/abstract_value.rs
start line: 3919
end line: 3988
size: 61 LOC
McCabe index: 11
number of parameters: 1

id: 68
unit: fn update_zeroed_flag_for_heap_block_from_environment()
file: checker/src/body_visitor.rs
start line: 1460
end line: 1519
size: 60 LOC
McCabe index: 11
number of parameters: 3

id: 69
unit: fn visit_projection()
file: checker/src/block_visitor.rs
start line: 3531
end line: 3589
size: 59 LOC
McCabe index: 6
number of parameters: 4

id: 70
unit: fn gather_type_relations()
file: checker/src/call_graph.rs
start line: 837
end line: 898
size: 59 LOC
McCabe index: 4
number of parameters: 3

id: 71
unit: fn translate_async_preconditions()
file: checker/src/body_visitor.rs
start line: 717
end line: 787
size: 58 LOC
McCabe index: 3
number of parameters: 1

id: 72
unit: fn derive_all_relations()
file: checker/src/call_graph.rs
start line: 756
end line: 817
size: 58 LOC
McCabe index: 8
number of parameters: 5

id: 73
unit: fn get_path_for_place()
file: checker/src/block_visitor.rs
start line: 3470
end line: 3526
size: 57 LOC
McCabe index: 4
number of parameters: 2

id: 74
unit: fn switch()
file: checker/src/abstract_value.rs
start line: 5012
end line: 5066
size: 53 LOC
McCabe index: 7
number of parameters: 3

id: 75
unit: fn fold_excluded()
file: checker/src/call_graph.rs
start line: 585
end line: 640
size: 52 LOC
McCabe index: 4
number of parameters: 1

id: 76
unit: fn intrinsic_binary()
file: checker/src/abstract_value.rs
start line: 3079
end line: 3130
size: 52 LOC
McCabe index: 1
number of parameters: 3

id: 77
unit: fn visit_rvalue()
file: checker/src/block_visitor.rs
start line: 1615
end line: 1665
size: 51 LOC
McCabe index: 1
number of parameters: 3

id: 78
unit: fn make_options_parser()
file: checker/src/options.rs
start line: 14
end line: 66
size: 51 LOC
McCabe index: 2
number of parameters: 1

id: 79
unit: fn compute_fixed_point()
file: checker/src/fixed_point_visitor.rs
start line: 139
end line: 191
size: 51 LOC
McCabe index: 7
number of parameters: 2

id: 80
unit: fn call_cargo_on_target()
file: checker/src/cargo_mirai.rs
start line: 100
end line: 171
size: 51 LOC
McCabe index: 7
number of parameters: 2

id: 81
unit: fn visit_terminator()
file: checker/src/block_visitor.rs
start line: 239
end line: 288
size: 50 LOC
McCabe index: 1
number of parameters: 4

id: 82
unit: fn check_for_layout_consistency()
file: checker/src/body_visitor.rs
start line: 1525
end line: 1574
size: 50 LOC
McCabe index: 8
number of parameters: 3

id: 83
unit: fn general_ne()
file: checker/src/z3_solver.rs
start line: 491
end line: 540
size: 50 LOC
McCabe index: 10
number of parameters: 3

id: 84
unit: fn handle_size_of_val()
file: checker/src/call_visitor.rs
start line: 2337
end line: 2387
size: 49 LOC
McCabe index: 8
number of parameters: 1

id: 85
unit: fn bv_constant()
file: checker/src/z3_solver.rs
start line: 1985
end line: 2033
size: 49 LOC
McCabe index: 1
number of parameters: 3

id: 86
unit: fn try_to_distribute_typed_binary_op()
file: checker/src/abstract_value.rs
start line: 5292
end line: 5340
size: 49 LOC
McCabe index: 5
number of parameters: 6

id: 87
unit: fn replace_embedded_path_root()
file: checker/src/abstract_value.rs
start line: 6587
end line: 6635
size: 49 LOC
McCabe index: 3
number of parameters: 3

id: 88
unit: fn multiply()
file: checker/src/abstract_value.rs
start line: 3669
end line: 3723
size: 47 LOC
McCabe index: 12
number of parameters: 2

id: 89
unit: fn visit_len()
file: checker/src/block_visitor.rs
start line: 1939
end line: 1983
size: 45 LOC
McCabe index: 8
number of parameters: 3

id: 90
unit: fn subset()
file: checker/src/abstract_value.rs
start line: 4949
end line: 5008
size: 45 LOC
McCabe index: 6
number of parameters: 2

id: 91
unit: fn handle_discriminant_value()
file: checker/src/call_visitor.rs
start line: 1974
end line: 2019
size: 44 LOC
McCabe index: 3
number of parameters: 1

id: 92
unit: fn divide()
file: checker/src/abstract_value.rs
start line: 2463
end line: 2511
size: 44 LOC
McCabe index: 10
number of parameters: 2

id: 93
unit: fn purge_abstract_heap_address_from_environment()
file: checker/src/body_visitor.rs
start line: 1412
end line: 1454
size: 43 LOC
McCabe index: 8
number of parameters: 3

id: 94
unit: fn extract_side_effects()
file: checker/src/summaries.rs
start line: 280
end line: 323
size: 43 LOC
McCabe index: 12
number of parameters: 2

id: 95
unit: fn general_switch()
file: checker/src/z3_solver.rs
start line: 598
end line: 638
size: 41 LOC
McCabe index: 3
number of parameters: 4

id: 96
unit: fn get_constant_as_ast()
file: checker/src/z3_solver.rs
start line: 946
end line: 986
size: 41 LOC
McCabe index: 3
number of parameters: 2

id: 97
unit: fn numeric_rem()
file: checker/src/z3_solver.rs
start line: 1234
end line: 1273
size: 40 LOC
McCabe index: 4
number of parameters: 3

id: 98
unit: fn handle_assume()
file: checker/src/call_visitor.rs
start line: 1415
end line: 1453
size: 39 LOC
McCabe index: 4
number of parameters: 1

id: 99
unit: fn handle_set_model_field()
file: checker/src/call_visitor.rs
start line: 1874
end line: 1912
size: 39 LOC
McCabe index: 3
number of parameters: 1

id: 100
unit: fn get_constant_from_scalar()
file: checker/src/block_visitor.rs
start line: 3318
end line: 3356
size: 39 LOC
McCabe index: 2
number of parameters: 3

id: 101
unit: fn handle_rust_realloc()
file: checker/src/call_visitor.rs
start line: 2090
end line: 2137
size: 38 LOC
McCabe index: 1
number of parameters: 1

id: 102
unit: fn all_paths_from()
file: checker/src/block_visitor.rs
start line: 845
end line: 882
size: 38 LOC
McCabe index: 6
number of parameters: 5

id: 103
unit: fn numeric_binary_var_arg()
file: checker/src/z3_solver.rs
start line: 1163
end line: 1200
size: 38 LOC
McCabe index: 3
number of parameters: 7

id: 104
unit: fn handle_precondition_start()
file: checker/src/call_visitor.rs
start line: 1815
end line: 1851
size: 37 LOC
McCabe index: 5
number of parameters: 1

id: 105
unit: fn visit_use()
file: checker/src/block_visitor.rs
start line: 1669
end line: 1705
size: 37 LOC
McCabe index: 2
number of parameters: 3

id: 106
unit: fn fmt()
file: checker/src/path.rs
start line: 1179
end line: 1215
size: 37 LOC
McCabe index: 2
number of parameters: 2

id: 107
unit: fn numeric_binary()
file: checker/src/z3_solver.rs
start line: 1276
end line: 1312
size: 37 LOC
McCabe index: 3
number of parameters: 7

id: 108
unit: fn extract_promotable_disjuncts()
file: checker/src/abstract_value.rs
start line: 2807
end line: 2842
size: 36 LOC
McCabe index: 7
number of parameters: 2

id: 109
unit: fn try_to_distribute_binary_op()
file: checker/src/abstract_value.rs
start line: 5252
end line: 5287
size: 36 LOC
McCabe index: 5
number of parameters: 4

id: 110
unit: fn handle_checked_binary_operation()
file: checker/src/call_visitor.rs
start line: 2154
end line: 2190
size: 35 LOC
McCabe index: 3
number of parameters: 1

id: 111
unit: fn visit_basic_block()
file: checker/src/fixed_point_visitor.rs
start line: 94
end line: 134
size: 34 LOC
McCabe index: 8
number of parameters: 3

id: 112
unit: fn add_predecessors_then_root_block()
file: checker/src/fixed_point_visitor.rs
start line: 341
end line: 374
size: 34 LOC
McCabe index: 6
number of parameters: 6

id: 113
unit: fn bit_and()
file: checker/src/abstract_value.rs
start line: 1757
end line: 1798
size: 34 LOC
McCabe index: 8
number of parameters: 2

id: 114
unit: fn intrinsic_bit_vector_unary()
file: checker/src/abstract_value.rs
start line: 3134
end line: 3167
size: 34 LOC
McCabe index: 2
number of parameters: 3

id: 115
unit: fn replace_root()
file: checker/src/path.rs
start line: 1046
end line: 1078
size: 33 LOC
McCabe index: 4
number of parameters: 3

id: 116
unit: fn analyze_with_mirai)()
file: checker/src/callbacks.rs
start line: 130
end line: 162
size: 33 LOC
McCabe index: 2
number of parameters: 1

id: 117
unit: fn bv_overflows()
file: checker/src/z3_solver.rs
start line: 1927
end line: 1959
size: 33 LOC
McCabe index: 2
number of parameters: 8

id: 118
unit: fn intrinsic_floating_point_unary()
file: checker/src/abstract_value.rs
start line: 3171
end line: 3203
size: 33 LOC
McCabe index: 2
number of parameters: 2

id: 119
unit: fn try_resolve_as_byte_array()
file: checker/src/abstract_value.rs
start line: 6667
end line: 6699
size: 33 LOC
McCabe index: 9
number of parameters: 2

id: 120
unit: fn visit_nullary_op()
file: checker/src/block_visitor.rs
start line: 2226
end line: 2257
size: 32 LOC
McCabe index: 2
number of parameters: 4

id: 121
unit: fn get_ast_for_widened()
file: checker/src/z3_solver.rs
start line: 912
end line: 943
size: 32 LOC
McCabe index: 7
number of parameters: 4

id: 122
unit: fn coerce_to_string()
file: checker/src/call_visitor.rs
start line: 3021
end line: 3051
size: 31 LOC
McCabe index: 10
number of parameters: 2

id: 123
unit: fn lookup_weak_value()
file: checker/src/body_visitor.rs
start line: 549
end line: 579
size: 31 LOC
McCabe index: 12
number of parameters: 3

id: 124
unit: fn visit_loop_body()
file: checker/src/fixed_point_visitor.rs
start line: 197
end line: 233
size: 31 LOC
McCabe index: 8
number of parameters: 3

id: 125
unit: fn remove_initial_value_wrapper()
file: checker/src/path.rs
start line: 1012
end line: 1042
size: 31 LOC
McCabe index: 4
number of parameters: 1

id: 126
unit: fn numeric_const()
file: checker/src/z3_solver.rs
start line: 1514
end line: 1544
size: 31 LOC
McCabe index: 1
number of parameters: 3

id: 127
unit: fn shl_overflows()
file: checker/src/abstract_value.rs
start line: 4732
end line: 4762
size: 31 LOC
McCabe index: 6
number of parameters: 3

id: 128
unit: fn shr_overflows()
file: checker/src/abstract_value.rs
start line: 4780
end line: 4810
size: 31 LOC
McCabe index: 6
number of parameters: 3

id: 129
unit: fn sub_overflows()
file: checker/src/abstract_value.rs
start line: 4914
end line: 4944
size: 31 LOC
McCabe index: 6
number of parameters: 3

id: 130
unit: fn try_to_constant_fold_and_distribute_typed_binary_op()
file: checker/src/abstract_value.rs
start line: 5178
end line: 5208
size: 31 LOC
McCabe index: 2
number of parameters: 6

id: 131
unit: fn handle_mem_replace()
file: checker/src/call_visitor.rs
start line: 2230
end line: 2261
size: 30 LOC
McCabe index: 2
number of parameters: 1

id: 132
unit: fn visit_binary_op()
file: checker/src/block_visitor.rs
start line: 2136
end line: 2165
size: 30 LOC
McCabe index: 1
number of parameters: 5

id: 133
unit: fn extract_test_fns()
file: checker/src/crate_visitor.rs
start line: 220
end line: 251
size: 30 LOC
McCabe index: 6
number of parameters: 2

id: 134
unit: fn numeric_binary_overflow_vararg()
file: checker/src/z3_solver.rs
start line: 1203
end line: 1231
size: 29 LOC
McCabe index: 2
number of parameters: 7

id: 135
unit: fn remainder()
file: checker/src/abstract_value.rs
start line: 4667
end line: 4696
size: 29 LOC
McCabe index: 6
number of parameters: 2

id: 136
unit: fn is_rooted_by()
file: checker/src/path.rs
start line: 271
end line: 298
size: 28 LOC
McCabe index: 7
number of parameters: 2

id: 137
unit: fn refine_parameters_and_paths()
file: checker/src/path.rs
start line: 722
end line: 755
size: 28 LOC
McCabe index: 5
number of parameters: 3

id: 138
unit: fn make_typed_binary()
file: checker/src/abstract_value.rs
start line: 192
end line: 219
size: 28 LOC
McCabe index: 7
number of parameters: 6

id: 139
unit: fn create_default_summary_store_if_needed()
file: checker/src/summaries.rs
start line: 451
end line: 478
size: 27 LOC
McCabe index: 3
number of parameters: 1

id: 140
unit: fn make_binary()
file: checker/src/abstract_value.rs
start line: 162
end line: 188
size: 27 LOC
McCabe index: 7
number of parameters: 4

id: 141
unit: fn reachable_raw_edges()
file: checker/src/call_graph.rs
start line: 530
end line: 555
size: 26 LOC
McCabe index: 7
number of parameters: 3

id: 142
unit: fn fmt()
file: checker/src/constant_domain.rs
start line: 56
end line: 81
size: 26 LOC
McCabe index: 3
number of parameters: 2

id: 143
unit: fn bit_or()
file: checker/src/abstract_value.rs
start line: 1818
end line: 1849
size: 26 LOC
McCabe index: 6
number of parameters: 2

id: 144
unit: fn deref_tag_source()
file: checker/src/call_visitor.rs
start line: 1385
end line: 1410
size: 25 LOC
McCabe index: 3
number of parameters: 1

id: 145
unit: fn visit_statement()
file: checker/src/block_visitor.rs
start line: 111
end line: 135
size: 25 LOC
McCabe index: 1
number of parameters: 3

id: 146
unit: fn fmt()
file: checker/src/path.rs
start line: 193
end line: 217
size: 25 LOC
McCabe index: 1
number of parameters: 2

id: 147
unit: fn extract_reachable_heap_allocations()
file: checker/src/summaries.rs
start line: 327
end line: 351
size: 25 LOC
McCabe index: 6
number of parameters: 4

id: 148
unit: fn after_analysis()
file: checker/src/callbacks.rs
start line: 97
end line: 124
size: 25 LOC
McCabe index: 3
number of parameters: 3

id: 149
unit: fn try_resolve_as_ref_to_str()
file: checker/src/abstract_value.rs
start line: 6703
end line: 6727
size: 25 LOC
McCabe index: 5
number of parameters: 2

id: 150
unit: inline expr concat()
file: include/z3++.h
start line: 2398
end line: 2422
size: 25 LOC
McCabe index: 5
number of parameters: 1

id: 151
unit: fn visit_used_copy()
file: checker/src/block_visitor.rs
start line: 1711
end line: 1734
size: 24 LOC
McCabe index: 3
number of parameters: 3

id: 152
unit: fn visit_used_move()
file: checker/src/block_visitor.rs
start line: 1740
end line: 1763
size: 24 LOC
McCabe index: 3
number of parameters: 3

id: 153
unit: fn numeric_join()
file: checker/src/z3_solver.rs
start line: 1315
end line: 1338
size: 24 LOC
McCabe index: 2
number of parameters: 3

id: 154
unit: fn handle_abstract_value()
file: checker/src/call_visitor.rs
start line: 1326
end line: 1348
size: 23 LOC
McCabe index: 2
number of parameters: 1

id: 155
unit: fn handle_swap_non_overlapping()
file: checker/src/call_visitor.rs
start line: 2023
end line: 2045
size: 23 LOC
McCabe index: 1
number of parameters: 1

id: 156
unit: fn handle_transmute()
file: checker/src/call_visitor.rs
start line: 2399
end line: 2421
size: 23 LOC
McCabe index: 2
number of parameters: 1

id: 157
unit: fn remove_message()
file: checker/src/expected_errors.rs
start line: 55
end line: 78
size: 23 LOC
McCabe index: 6
number of parameters: 3

id: 158
unit: fn is_subset_of_side_effects()
file: checker/src/summaries.rs
start line: 160
end line: 182
size: 23 LOC
McCabe index: 6
number of parameters: 2

id: 159
unit: fn filter_no_edges()
file: checker/src/call_graph.rs
start line: 644
end line: 666
size: 23 LOC
McCabe index: 3
number of parameters: 1

id: 160
unit: fn numeric_variable()
file: checker/src/z3_solver.rs
start line: 1631
end line: 1660
size: 23 LOC
McCabe index: 2
number of parameters: 3

id: 161
unit: fn switch_with_bv_discriminator()
file: checker/src/z3_solver.rs
start line: 2100
end line: 2122
size: 23 LOC
McCabe index: 1
number of parameters: 4

id: 162
unit: fn transmute()
file: checker/src/abstract_value.rs
start line: 6641
end line: 6663
size: 23 LOC
McCabe index: 4
number of parameters: 2

id: 163
unit: fn visit_set_discriminant()
file: checker/src/block_visitor.rs
start line: 183
end line: 204
size: 22 LOC
McCabe index: 1
number of parameters: 3

id: 164
unit: fn solve_condition()
file: checker/src/body_visitor.rs
start line: 1637
end line: 1662
size: 22 LOC
McCabe index: 2
number of parameters: 2

id: 165
unit: fn deserialize()
file: checker/src/tag_domain.rs
start line: 54
end line: 79
size: 22 LOC
McCabe index: 2
number of parameters: 1

id: 166
unit: fn refine_parameters_and_paths()
file: checker/src/path.rs
start line: 1260
end line: 1281
size: 22 LOC
McCabe index: 1
number of parameters: 3

id: 167
unit: fn numeric_conditional()
file: checker/src/z3_solver.rs
start line: 1547
end line: 1568
size: 22 LOC
McCabe index: 1
number of parameters: 4

id: 168
unit: fn try_to_distribute_typed_unary_op()
file: checker/src/abstract_value.rs
start line: 5345
end line: 5366
size: 22 LOC
McCabe index: 3
number of parameters: 4

id: 169
unit: fn call_cargo()
file: checker/src/cargo_mirai.rs
start line: 62
end line: 88
size: 22 LOC
McCabe index: 5
number of parameters: 0

id: 170
unit: fn issue_diagnostic_for_call()
file: checker/src/call_visitor.rs
start line: 2850
end line: 2870
size: 21 LOC
McCabe index: 3
number of parameters: 4

id: 171
unit: fn report_timeout()
file: checker/src/body_visitor.rs
start line: 289
end line: 309
size: 21 LOC
McCabe index: 4
number of parameters: 2

id: 172
unit: fn get_selected_function_list()
file: checker/src/crate_visitor.rs
start line: 140
end line: 160
size: 21 LOC
McCabe index: 5
number of parameters: 1

id: 173
unit: fn filter_reachable()
file: checker/src/call_graph.rs
start line: 504
end line: 524
size: 21 LOC
McCabe index: 3
number of parameters: 2

id: 174
unit: fn from()
file: checker/src/interval_domain.rs
start line: 73
end line: 93
size: 21 LOC
McCabe index: 1
number of parameters: 1

id: 175
unit: fn transmute_to_signed_if_necessary()
file: checker/src/z3_solver.rs
start line: 1489
end line: 1511
size: 21 LOC
McCabe index: 2
number of parameters: 4

id: 176
unit: fn handle_size_of()
file: checker/src/call_visitor.rs
start line: 2266
end line: 2285
size: 20 LOC
McCabe index: 3
number of parameters: 1

id: 177
unit: fn visit_assign()
file: checker/src/block_visitor.rs
start line: 139
end line: 159
size: 20 LOC
McCabe index: 1
number of parameters: 2

id: 178
unit: fn add_leaf_fields_for()
file: checker/src/body_visitor.rs
start line: 1772
end line: 1791
size: 20 LOC
McCabe index: 4
number of parameters: 6

id: 179
unit: fn numeric_bitwise_not()
file: checker/src/z3_solver.rs
start line: 1358
end line: 1377
size: 20 LOC
McCabe index: 2
number of parameters: 3

id: 180
unit: fn extract_promotable_conjuncts()
file: checker/src/abstract_value.rs
start line: 2783
end line: 2802
size: 20 LOC
McCabe index: 6
number of parameters: 2

id: 181
unit: fn call_rustc_or_mirai()
file: checker/src/cargo_mirai.rs
start line: 173
end line: 192
size: 20 LOC
McCabe index: 8
number of parameters: 0

id: 182
unit: fn push_component_name()
file: checker/src/utils.rs
start line: 412
end line: 431
size: 20 LOC
McCabe index: 1
number of parameters: 2

id: 183
unit: inline expr abs()
file: include/z3++.h
start line: 1919
end line: 1938
size: 20 LOC
McCabe index: 3
number of parameters: 1

id: 184
unit: fn handle_post_condition()
file: checker/src/call_visitor.rs
start line: 1792
end line: 1810
size: 19 LOC
McCabe index: 2
number of parameters: 1

id: 185
unit: fn handle_copy_non_overlapping()
file: checker/src/call_visitor.rs
start line: 1951
end line: 1969
size: 19 LOC
McCabe index: 1
number of parameters: 1

id: 186
unit: fn deserialize_constant_array()
file: checker/src/block_visitor.rs
start line: 3079
end line: 3097
size: 19 LOC
McCabe index: 2
number of parameters: 5

id: 187
unit: fn get_sorted_block_indices()
file: checker/src/fixed_point_visitor.rs
start line: 380
end line: 398
size: 19 LOC
McCabe index: 2
number of parameters: 2

id: 188
unit: fn add_provenance()
file: checker/src/summaries.rs
start line: 254
end line: 272
size: 19 LOC
McCabe index: 2
number of parameters: 2

id: 189
unit: fn general_variable()
file: checker/src/z3_solver.rs
start line: 641
end line: 661
size: 19 LOC
McCabe index: 3
number of parameters: 3

id: 190
unit: fn bv_conditional()
file: checker/src/z3_solver.rs
start line: 2036
end line: 2054
size: 19 LOC
McCabe index: 1
number of parameters: 5

id: 191
unit: fn make_uninterpreted_call()
file: checker/src/abstract_value.rs
start line: 253
end line: 271
size: 19 LOC
McCabe index: 1
number of parameters: 4

id: 192
unit: fn inverse_implies()
file: checker/src/abstract_value.rs
start line: 3208
end line: 3229
size: 19 LOC
McCabe index: 8
number of parameters: 2

id: 193
unit: fn try_to_constant_fold_and_distribute_binary_op()
file: checker/src/abstract_value.rs
start line: 5154
end line: 5172
size: 19 LOC
McCabe index: 2
number of parameters: 4

id: 194
unit: fn try_to_distribute_unary_op()
file: checker/src/abstract_value.rs
start line: 5370
end line: 5388
size: 19 LOC
McCabe index: 3
number of parameters: 2

id: 195
unit: fn call_mirai()
file: checker/src/cargo_mirai.rs
start line: 194
end line: 213
size: 19 LOC
McCabe index: 3
number of parameters: 0

id: 196
unit: std::string to_smt2()
file: include/z3++.h
start line: 2718
end line: 2736
size: 19 LOC
McCabe index: 2
number of parameters: 1

id: 197
unit: fn handle_add_tag()
file: checker/src/call_visitor.rs
start line: 1353
end line: 1378
size: 18 LOC
McCabe index: 4
number of parameters: 1

id: 198
unit: fn handle_rust_dealloc()
file: checker/src/call_visitor.rs
start line: 1916
end line: 1947
size: 18 LOC
McCabe index: 1
number of parameters: 1

id: 199
unit: fn handle_rust_alloc_zeroed()
file: checker/src/call_visitor.rs
start line: 2068
end line: 2085
size: 18 LOC
McCabe index: 2
number of parameters: 1

id: 200
unit: fn visit_checked_binary_op()
file: checker/src/block_visitor.rs
start line: 2170
end line: 2188
size: 18 LOC
McCabe index: 1
number of parameters: 5

id: 201
unit: fn reset_visitor_state()
file: checker/src/body_visitor.rs
start line: 140
end line: 157
size: 18 LOC
McCabe index: 1
number of parameters: 1

id: 202
unit: fn analyze_body()
file: checker/src/crate_visitor.rs
start line: 175
end line: 193
size: 18 LOC
McCabe index: 3
number of parameters: 2

id: 203
unit: fn is_subset_of_preconditions()
file: checker/src/summaries.rs
start line: 140
end line: 157
size: 18 LOC
McCabe index: 6
number of parameters: 2

id: 204
unit: fn reachable_from()
file: checker/src/call_graph.rs
start line: 483
end line: 500
size: 18 LOC
McCabe index: 5
number of parameters: 2

id: 205
unit: fn general_conditional()
file: checker/src/z3_solver.rs
start line: 400
end line: 417
size: 18 LOC
McCabe index: 1
number of parameters: 4

id: 206
unit: fn trim_prefix_conjuncts()
file: checker/src/abstract_value.rs
start line: 1718
end line: 1735
size: 18 LOC
McCabe index: 4
number of parameters: 2

id: 207
unit: fn implies()
file: checker/src/abstract_value.rs
start line: 3028
end line: 3055
size: 18 LOC
McCabe index: 12
number of parameters: 2

id: 208
unit: fn get_arg_flag_value()
file: checker/src/cargo_mirai.rs
start line: 232
end line: 251
size: 18 LOC
McCabe index: 5
number of parameters: 1

id: 209
unit: fn check_and_record_constant_time_verification_tag()
file: checker/src/call_visitor.rs
start line: 3154
end line: 3170
size: 17 LOC
McCabe index: 3
number of parameters: 3

id: 210
unit: fn visit_return()
file: checker/src/block_visitor.rs
start line: 394
end line: 416
size: 17 LOC
McCabe index: 5
number of parameters: 1

id: 211
unit: fn visit_inline_asm()
file: checker/src/block_visitor.rs
start line: 1595
end line: 1611
size: 17 LOC
McCabe index: 2
number of parameters: 2

id: 212
unit: fn visit_unary_op()
file: checker/src/block_visitor.rs
start line: 2261
end line: 2277
size: 17 LOC
McCabe index: 2
number of parameters: 4

id: 213
unit: fn from()
file: checker/src/expression.rs
start line: 1375
end line: 1391
size: 17 LOC
McCabe index: 1
number of parameters: 1

id: 214
unit: fn simple_type_eq()
file: checker/src/call_graph.rs
start line: 737
end line: 753
size: 17 LOC
McCabe index: 6
number of parameters: 5

id: 215
unit: fn general_boolean_op()
file: checker/src/z3_solver.rs
start line: 365
end line: 381
size: 17 LOC
McCabe index: 1
number of parameters: 6

id: 216
unit: fn bv_shr_by()
file: checker/src/z3_solver.rs
start line: 2082
end line: 2098
size: 17 LOC
McCabe index: 2
number of parameters: 4

id: 217
unit: fn call_intrinsic_unary()
file: checker/src/constant_domain.rs
start line: 589
end line: 605
size: 17 LOC
McCabe index: 1
number of parameters: 2

id: 218
unit: fn get_cached_interval()
file: checker/src/abstract_value.rs
start line: 5392
end line: 5408
size: 17 LOC
McCabe index: 2
number of parameters: 1

id: 219
unit: inline expr concat()
file: include/z3++.h
start line: 2380
end line: 2396
size: 17 LOC
McCabe index: 3
number of parameters: 2

id: 220
unit: fn get_function_constant_signature()
file: checker/src/call_visitor.rs
start line: 292
end line: 307
size: 16 LOC
McCabe index: 3
number of parameters: 4

id: 221
unit: fn handle_rust_alloc()
file: checker/src/call_visitor.rs
start line: 2049
end line: 2064
size: 16 LOC
McCabe index: 2
number of parameters: 1

id: 222
unit: fn handle_min_align_of_val()
file: checker/src/call_visitor.rs
start line: 2313
end line: 2329
size: 16 LOC
McCabe index: 2
number of parameters: 1

id: 223
unit: fn visit_copy_non_overlapping()
file: checker/src/block_visitor.rs
start line: 164
end line: 179
size: 16 LOC
McCabe index: 1
number of parameters: 2

id: 224
unit: fn visit_aggregate()
file: checker/src/block_visitor.rs
start line: 2298
end line: 2313
size: 16 LOC
McCabe index: 2
number of parameters: 4

id: 225
unit: fn check_for_errors()
file: checker/src/body_visitor.rs
start line: 790
end line: 808
size: 16 LOC
McCabe index: 3
number of parameters: 3

id: 226
unit: fn deduplicate_edges()
file: checker/src/call_graph.rs
start line: 460
end line: 475
size: 16 LOC
McCabe index: 2
number of parameters: 1

id: 227
unit: fn condense_edge_set()
file: checker/src/call_graph.rs
start line: 561
end line: 576
size: 16 LOC
McCabe index: 6
number of parameters: 2

id: 228
unit: fn config()
file: checker/src/callbacks.rs
start line: 75
end line: 90
size: 16 LOC
McCabe index: 2
number of parameters: 2

id: 229
unit: fn numeric_shr()
file: checker/src/z3_solver.rs
start line: 1613
end line: 1628
size: 16 LOC
McCabe index: 2
number of parameters: 3

id: 230
unit: fn add_tag()
file: checker/src/abstract_value.rs
start line: 1109
end line: 1124
size: 16 LOC
McCabe index: 4
number of parameters: 2

id: 231
unit: fn bit_xor()
file: checker/src/abstract_value.rs
start line: 1853
end line: 1871
size: 16 LOC
McCabe index: 4
number of parameters: 2

id: 232
unit: fn use_entry_condition_as_exit_condition()
file: checker/src/call_visitor.rs
start line: 736
end line: 750
size: 15 LOC
McCabe index: 2
number of parameters: 1

id: 233
unit: fn visit_shallow_init_box()
file: checker/src/block_visitor.rs
start line: 2320
end line: 2334
size: 15 LOC
McCabe index: 1
number of parameters: 4

id: 234
unit: fn visit_used_operand()
file: checker/src/block_visitor.rs
start line: 2340
end line: 2354
size: 15 LOC
McCabe index: 1
number of parameters: 3

id: 235
unit: fn get_input_equivalences()
file: checker/src/call_graph.rs
start line: 819
end line: 833
size: 15 LOC
McCabe index: 1
number of parameters: 2

id: 236
unit: fn bv_binary()
file: checker/src/z3_solver.rs
start line: 1893
end line: 1907
size: 15 LOC
McCabe index: 1
number of parameters: 7

id: 237
unit: fn try_to_constant_fold_and_distribute_typed_unary_op()
file: checker/src/abstract_value.rs
start line: 5214
end line: 5228
size: 15 LOC
McCabe index: 3
number of parameters: 4

id: 238
unit: inline expr min()
file: include/z3++.h
start line: 1877
end line: 1891
size: 15 LOC
McCabe index: 3
number of parameters: 2

id: 239
unit: inline expr max()
file: include/z3++.h
start line: 1892
end line: 1906
size: 15 LOC
McCabe index: 3
number of parameters: 2

id: 240
unit: inline expr_vector context::parse_string()
file: include/z3++.h
start line: 3833
end line: 3848
size: 15 LOC
McCabe index: 3
number of parameters: 3

id: 241
unit: inline expr_vector context::parse_file()
file: include/z3++.h
start line: 3850
end line: 3864
size: 15 LOC
McCabe index: 3
number of parameters: 3

id: 242
unit: fn splitpoint()
file: standard_contracts/src/foreign_contracts.rs
start line: 58
end line: 71
size: 14 LOC
McCabe index: 1
number of parameters: 1

id: 243
unit: fn handle_precondition()
file: checker/src/call_visitor.rs
start line: 1856
end line: 1870
size: 14 LOC
McCabe index: 2
number of parameters: 1

id: 244
unit: fn handle_offset()
file: checker/src/call_visitor.rs
start line: 2212
end line: 2226
size: 14 LOC
McCabe index: 3
number of parameters: 1

id: 245
unit: fn get_heap_array_and_path()
file: checker/src/block_visitor.rs
start line: 3060
end line: 3073
size: 14 LOC
McCabe index: 1
number of parameters: 3

id: 246
unit: fn compare_diagnostics()
file: checker/src/crate_visitor.rs
start line: 280
end line: 293
size: 14 LOC
McCabe index: 5
number of parameters: 2

id: 247
unit: fn has_tagged_subcomponent()
file: checker/src/path.rs
start line: 254
end line: 267
size: 14 LOC
McCabe index: 6
number of parameters: 3

id: 248
unit: fn general_cast()
file: checker/src/z3_solver.rs
start line: 384
end line: 397
size: 14 LOC
McCabe index: 4
number of parameters: 3

id: 249
unit: fn numeric_shl()
file: checker/src/z3_solver.rs
start line: 1597
end line: 1610
size: 14 LOC
McCabe index: 2
number of parameters: 3

id: 250
unit: fn numeric_widen()
file: checker/src/z3_solver.rs
start line: 1663
end line: 1676
size: 14 LOC
McCabe index: 1
number of parameters: 3

id: 251
unit: fn bv_join()
file: checker/src/z3_solver.rs
start line: 2057
end line: 2070
size: 14 LOC
McCabe index: 1
number of parameters: 4

id: 252
unit: fn try_to_constant_fold_and_distribute_unary_op()
file: checker/src/abstract_value.rs
start line: 5234
end line: 5247
size: 14 LOC
McCabe index: 3
number of parameters: 2

id: 253
unit: fn get_is_non_null()
file: checker/src/abstract_value.rs
start line: 5511
end line: 5524
size: 14 LOC
McCabe index: 3
number of parameters: 1

id: 254
unit: fn remove_selector()
file: checker/src/path.rs
start line: 1094
end line: 1106
size: 13 LOC
McCabe index: 2
number of parameters: 2

id: 255
unit: fn extract_iterator_type()
file: checker/src/call_graph.rs
start line: 691
end line: 703
size: 13 LOC
McCabe index: 3
number of parameters: 2

id: 256
unit: fn general_shr()
file: checker/src/z3_solver.rs
start line: 569
end line: 581
size: 13 LOC
McCabe index: 2
number of parameters: 3

id: 257
unit: fn general_shift_overflows()
file: checker/src/z3_solver.rs
start line: 584
end line: 596
size: 13 LOC
McCabe index: 1
number of parameters: 3

id: 258
unit: fn get_range_check()
file: checker/src/z3_solver.rs
start line: 989
end line: 1001
size: 13 LOC
McCabe index: 1
number of parameters: 4

id: 259
unit: fn numeric_neg()
file: checker/src/z3_solver.rs
start line: 1571
end line: 1583
size: 13 LOC
McCabe index: 2
number of parameters: 2

id: 260
unit: fn bit_not()
file: checker/src/abstract_value.rs
start line: 1802
end line: 1814
size: 13 LOC
McCabe index: 1
number of parameters: 2

id: 261
unit: fn call_rustc()
file: checker/src/cargo_mirai.rs
start line: 215
end line: 229
size: 13 LOC
McCabe index: 3
number of parameters: 0

id: 262
unit: fn qualified_type_name()
file: checker/src/utils.rs
start line: 334
end line: 346
size: 13 LOC
McCabe index: 3
number of parameters: 2

id: 263
unit: expr as_expr()
file: include/z3++.h
start line: 2877
end line: 2889
size: 13 LOC
McCabe index: 4
number of parameters: 0

id: 264
unit: fn specialize_const()
file: checker/src/type_visitor.rs
start line: 1004
end line: 1015
size: 12 LOC
McCabe index: 3
number of parameters: 3

id: 265
unit: fn get_as_smt_predicate()
file: checker/src/smt_solver.rs
start line: 36
end line: 58
size: 12 LOC
McCabe index: 1
number of parameters: 2

id: 266
unit: fn simplify_type()
file: checker/src/call_graph.rs
start line: 722
end line: 733
size: 12 LOC
McCabe index: 2
number of parameters: 2

id: 267
unit: fn serialize()
file: checker/src/call_graph.rs
start line: 1047
end line: 1058
size: 12 LOC
McCabe index: 2
number of parameters: 2

id: 268
unit: fn general_join()
file: checker/src/z3_solver.rs
start line: 664
end line: 675
size: 12 LOC
McCabe index: 3
number of parameters: 3

id: 269
unit: fn get_sort_for()
file: checker/src/z3_solver.rs
start line: 898
end line: 909
size: 12 LOC
McCabe index: 1
number of parameters: 2

id: 270
unit: fn implies_not()
file: checker/src/abstract_value.rs
start line: 3060
end line: 3075
size: 12 LOC
McCabe index: 8
number of parameters: 2

id: 271
unit: fn inverse_implies_not()
file: checker/src/abstract_value.rs
start line: 3234
end line: 3246
size: 12 LOC
McCabe index: 6
number of parameters: 2

id: 272
unit: fn get_cached_tags()
file: checker/src/abstract_value.rs
start line: 5528
end line: 5539
size: 12 LOC
McCabe index: 2
number of parameters: 1

id: 273
unit: fn widen()
file: checker/src/abstract_value.rs
start line: 6878
end line: 6889
size: 12 LOC
McCabe index: 1
number of parameters: 2

id: 274
unit: void inc()
file: include/z3++.h
start line: 2757
end line: 2768
size: 12 LOC
McCabe index: 5
number of parameters: 0

id: 275
unit: inline func_decl context::tuple_sort()
file: include/z3++.h
start line: 3305
end line: 3316
size: 12 LOC
McCabe index: 3
number of parameters: 5

id: 276
unit: inline expr expr::substitute()
file: include/z3++.h
start line: 3867
end line: 3878
size: 12 LOC
McCabe index: 2
number of parameters: 2

id: 277
unit: fn handle_needs_drop()
file: checker/src/call_visitor.rs
start line: 2196
end line: 2206
size: 11 LOC
McCabe index: 1
number of parameters: 1

id: 278
unit: fn visit_discriminant()
file: checker/src/block_visitor.rs
start line: 2281
end line: 2291
size: 11 LOC
McCabe index: 1
number of parameters: 3

id: 279
unit: fn get_operand_rustc_type()
file: checker/src/block_visitor.rs
start line: 2367
end line: 2377
size: 11 LOC
McCabe index: 1
number of parameters: 2

id: 280
unit: fn specialize_generic_argument()
file: checker/src/type_visitor.rs
start line: 1018
end line: 1028
size: 11 LOC
McCabe index: 1
number of parameters: 3

id: 281
unit: fn transfer_and_propagate_tags()
file: checker/src/body_visitor.rs
start line: 1395
end line: 1405
size: 11 LOC
McCabe index: 2
number of parameters: 4

id: 282
unit: fn hash()
file: checker/src/summaries.rs
start line: 372
end line: 382
size: 11 LOC
McCabe index: 4
number of parameters: 2

id: 283
unit: fn parse_config()
file: checker/src/call_graph.rs
start line: 332
end line: 342
size: 11 LOC
McCabe index: 1
number of parameters: 1

id: 284
unit: fn simplify_single_type()
file: checker/src/call_graph.rs
start line: 709
end line: 719
size: 11 LOC
McCabe index: 3
number of parameters: 2

id: 285
unit: fn make_typed_unary()
file: checker/src/abstract_value.rs
start line: 223
end line: 233
size: 11 LOC
McCabe index: 3
number of parameters: 4

id: 286
unit: fn is_non_null()
file: checker/src/abstract_value.rs
start line: 3285
end line: 3295
size: 11 LOC
McCabe index: 2
number of parameters: 1

id: 287
unit: fn offset()
file: checker/src/abstract_value.rs
start line: 3992
end line: 4002
size: 11 LOC
McCabe index: 3
number of parameters: 2

id: 288
unit: fn remove_conjuncts_that_depend_on()
file: checker/src/abstract_value.rs
start line: 4704
end line: 4714
size: 11 LOC
McCabe index: 3
number of parameters: 2

id: 289
unit: fn shift_left()
file: checker/src/abstract_value.rs
start line: 4718
end line: 4728
size: 11 LOC
McCabe index: 2
number of parameters: 2

id: 290
unit: fn shr()
file: checker/src/abstract_value.rs
start line: 4766
end line: 4776
size: 11 LOC
McCabe index: 2
number of parameters: 2

id: 291
unit: fn unsigned_modulo()
file: checker/src/abstract_value.rs
start line: 6745
end line: 6755
size: 11 LOC
McCabe index: 3
number of parameters: 2

id: 292
unit: check_result check()
file: include/z3++.h
start line: 2681
end line: 2691
size: 11 LOC
McCabe index: 2
number of parameters: 1

id: 293
unit: check_result check()
file: include/z3++.h
start line: 3152
end line: 3162
size: 11 LOC
McCabe index: 2
number of parameters: 1

id: 294
unit: inline sort context::enumeration_sort()
file: include/z3++.h
start line: 3294
end line: 3304
size: 11 LOC
McCabe index: 3
number of parameters: 5

id: 295
unit: fn visit_storage_dead()
file: checker/src/block_visitor.rs
start line: 212
end line: 221
size: 10 LOC
McCabe index: 1
number of parameters: 2

id: 296
unit: fn visit_operand()
file: checker/src/block_visitor.rs
start line: 2382
end line: 2391
size: 10 LOC
McCabe index: 1
number of parameters: 2

id: 297
unit: fn refine_parameters_and_paths()
file: checker/src/path.rs
start line: 1247
end line: 1257
size: 10 LOC
McCabe index: 2
number of parameters: 3

id: 298
unit: fn get_node_by_name()
file: checker/src/call_graph.rs
start line: 431
end line: 440
size: 10 LOC
McCabe index: 4
number of parameters: 2

id: 299
unit: fn get_node_by_defid()
file: checker/src/call_graph.rs
start line: 444
end line: 453
size: 10 LOC
McCabe index: 4
number of parameters: 2

id: 300
unit: fn reduce_graph()
file: checker/src/call_graph.rs
start line: 677
end line: 686
size: 10 LOC
McCabe index: 1
number of parameters: 3

id: 301
unit: fn to_dot()
file: checker/src/call_graph.rs
start line: 994
end line: 1003
size: 10 LOC
McCabe index: 1
number of parameters: 2

id: 302
unit: fn from()
file: checker/src/interval_domain.rs
start line: 59
end line: 68
size: 10 LOC
McCabe index: 2
number of parameters: 1

id: 303
unit: fn solve()
file: checker/src/z3_solver.rs
start line: 181
end line: 190
size: 10 LOC
McCabe index: 1
number of parameters: 1

id: 304
unit: fn general_negation()
file: checker/src/z3_solver.rs
start line: 543
end line: 552
size: 10 LOC
McCabe index: 2
number of parameters: 2

id: 305
unit: fn bv_cast()
file: checker/src/z3_solver.rs
start line: 1973
end line: 1982
size: 10 LOC
McCabe index: 1
number of parameters: 4

id: 306
unit: fn make_unary()
file: checker/src/abstract_value.rs
start line: 237
end line: 246
size: 10 LOC
McCabe index: 3
number of parameters: 2

id: 307
unit: fn is_contained_in_zeroed_heap_block()
file: checker/src/abstract_value.rs
start line: 3262
end line: 3271
size: 10 LOC
McCabe index: 1
number of parameters: 1

id: 308
unit: unsigned get_numeral_uint()
file: include/z3++.h
start line: 1033
end line: 1042
size: 10 LOC
McCabe index: 3
number of parameters: 0

id: 309
unit: int64_t get_numeral_int64()
file: include/z3++.h
start line: 1050
end line: 1059
size: 10 LOC
McCabe index: 3
number of parameters: 0

id: 310
unit: uint64_t get_numeral_uint64()
file: include/z3++.h
start line: 1067
end line: 1076
size: 10 LOC
McCabe index: 3
number of parameters: 0

id: 311
unit: check_result check()
file: include/z3++.h
start line: 2671
end line: 2680
size: 10 LOC
McCabe index: 2
number of parameters: 2

id: 312
unit: expr_vector trail()
file: include/z3++.h
start line: 2705
end line: 2714
size: 10 LOC
McCabe index: 1
number of parameters: 1

id: 313
unit: inline func_decl context::function()
file: include/z3++.h
start line: 3326
end line: 3335
size: 10 LOC
McCabe index: 2
number of parameters: 4

id: 314
unit: inline func_decl context::function()
file: include/z3++.h
start line: 3341
end line: 3350
size: 10 LOC
McCabe index: 2
number of parameters: 3

id: 315
unit: inline func_decl context::recfun()
file: include/z3++.h
start line: 3397
end line: 3407
size: 10 LOC
McCabe index: 2
number of parameters: 4

id: 316
unit: inline expr context::fpa_rounding_mode()
file: include/z3++.h
start line: 3454
end line: 3463
size: 10 LOC
McCabe index: 6
number of parameters: 0

id: 317
unit: inline expr func_decl::operator()
file: include/z3++.h
start line: 3503
end line: 3513
size: 10 LOC
McCabe index: 2
number of parameters: 0

id: 318
unit: inline expr func_decl::operator()
file: include/z3++.h
start line: 3514
end line: 3523
size: 10 LOC
McCabe index: 2
number of parameters: 0

id: 319
unit: fn cmp__i8()
file: standard_contracts/src/foreign_contracts.rs
start line: 491
end line: 499
size: 9 LOC
McCabe index: 3
number of parameters: 2

id: 320
unit: fn cmp__i16()
file: standard_contracts/src/foreign_contracts.rs
start line: 500
end line: 508
size: 9 LOC
McCabe index: 3
number of parameters: 2

id: 321
unit: fn cmp__i32()
file: standard_contracts/src/foreign_contracts.rs
start line: 509
end line: 517
size: 9 LOC
McCabe index: 3
number of parameters: 2

id: 322
unit: fn cmp__i64()
file: standard_contracts/src/foreign_contracts.rs
start line: 518
end line: 526
size: 9 LOC
McCabe index: 3
number of parameters: 2

id: 323
unit: fn cmp__i128()
file: standard_contracts/src/foreign_contracts.rs
start line: 527
end line: 535
size: 9 LOC
McCabe index: 3
number of parameters: 2

id: 324
unit: fn cmp__isize()
file: standard_contracts/src/foreign_contracts.rs
start line: 536
end line: 544
size: 9 LOC
McCabe index: 3
number of parameters: 2

id: 325
unit: fn cmp__u8()
file: standard_contracts/src/foreign_contracts.rs
start line: 545
end line: 553
size: 9 LOC
McCabe index: 3
number of parameters: 2

id: 326
unit: fn cmp__u16()
file: standard_contracts/src/foreign_contracts.rs
start line: 554
end line: 562
size: 9 LOC
McCabe index: 3
number of parameters: 2

id: 327
unit: fn cmp__u32()
file: standard_contracts/src/foreign_contracts.rs
start line: 563
end line: 571
size: 9 LOC
McCabe index: 3
number of parameters: 2

id: 328
unit: fn cmp__u64()
file: standard_contracts/src/foreign_contracts.rs
start line: 572
end line: 580
size: 9 LOC
McCabe index: 3
number of parameters: 2

id: 329
unit: fn cmp__u128()
file: standard_contracts/src/foreign_contracts.rs
start line: 581
end line: 589
size: 9 LOC
McCabe index: 3
number of parameters: 2

id: 330
unit: fn cmp__usize()
file: standard_contracts/src/foreign_contracts.rs
start line: 590
end line: 598
size: 9 LOC
McCabe index: 3
number of parameters: 2

id: 331
unit: fn visit_thread_local_ref()
file: checker/src/block_visitor.rs
start line: 1927
end line: 1935
size: 9 LOC
McCabe index: 2
number of parameters: 3

id: 332
unit: fn fmt()
file: checker/src/tag_domain.rs
start line: 31
end line: 39
size: 9 LOC
McCabe index: 1
number of parameters: 2

id: 333
unit: fn get_path_root()
file: checker/src/path.rs
start line: 221
end line: 230
size: 9 LOC
McCabe index: 2
number of parameters: 1

id: 334
unit: fn update()
file: checker/src/call_graph.rs
start line: 346
end line: 354
size: 9 LOC
McCabe index: 1
number of parameters: 2

id: 335
unit: fn get_or_insert_node()
file: checker/src/call_graph.rs
start line: 385
end line: 393
size: 9 LOC
McCabe index: 1
number of parameters: 2

id: 336
unit: fn fmt()
file: checker/src/interval_domain.rs
start line: 26
end line: 34
size: 9 LOC
McCabe index: 1
number of parameters: 2

id: 337
unit: fn get_model_as_string()
file: checker/src/z3_solver.rs
start line: 147
end line: 155
size: 9 LOC
McCabe index: 1
number of parameters: 1

id: 338
unit: fn boolean_join()
file: checker/src/z3_solver.rs
start line: 203
end line: 211
size: 9 LOC
McCabe index: 1
number of parameters: 3

id: 339
unit: fn numeric_boolean_op()
file: checker/src/z3_solver.rs
start line: 1341
end line: 1349
size: 9 LOC
McCabe index: 1
number of parameters: 2

id: 340
unit: fn numeric_reference()
file: checker/src/z3_solver.rs
start line: 1586
end line: 1594
size: 9 LOC
McCabe index: 1
number of parameters: 2

id: 341
unit: fn bv_not()
file: checker/src/z3_solver.rs
start line: 1916
end line: 1924
size: 9 LOC
McCabe index: 1
number of parameters: 4

id: 342
unit: fn unsigned_shift_left()
file: checker/src/abstract_value.rs
start line: 6760
end line: 6768
size: 9 LOC
McCabe index: 2
number of parameters: 2

id: 343
unit: fn unsigned_shift_right()
file: checker/src/abstract_value.rs
start line: 6773
end line: 6781
size: 9 LOC
McCabe index: 2
number of parameters: 2

id: 344
unit: fn call_cargo_on_each_package_target()
file: checker/src/cargo_mirai.rs
start line: 90
end line: 98
size: 9 LOC
McCabe index: 2
number of parameters: 1

id: 345
unit: int get_numeral_int()
file: include/z3++.h
start line: 1014
end line: 1022
size: 9 LOC
McCabe index: 3
number of parameters: 0

id: 346
unit: expr eval()
file: include/z3++.h
start line: 2522
end line: 2530
size: 9 LOC
McCabe index: 3
number of parameters: 2

id: 347
unit: inline expr expr::substitute()
file: include/z3++.h
start line: 3880
end line: 3888
size: 9 LOC
McCabe index: 2
number of parameters: 1

id: 348
unit: fn handle_arith_offset()
file: checker/src/call_visitor.rs
start line: 2141
end line: 2148
size: 8 LOC
McCabe index: 1
number of parameters: 1

id: 349
unit: fn handle_raw_eq()
file: checker/src/call_visitor.rs
start line: 2288
end line: 2295
size: 8 LOC
McCabe index: 1
number of parameters: 1

id: 350
unit: fn visit_repeat()
file: checker/src/block_visitor.rs
start line: 1767
end line: 1774
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 351
unit: fn load_errors()
file: checker/src/expected_errors.rs
start line: 84
end line: 91
size: 8 LOC
McCabe index: 1
number of parameters: 1

id: 352
unit: fn visit_promoted_constants_block()
file: checker/src/body_visitor.rs
start line: 1061
end line: 1069
size: 8 LOC
McCabe index: 1
number of parameters: 1

id: 353
unit: fn visit_basic_block()
file: checker/src/body_visitor.rs
start line: 1073
end line: 1080
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 354
unit: fn serialize()
file: checker/src/tag_domain.rs
start line: 43
end line: 50
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 355
unit: fn solve()
file: checker/src/smt_solver.rs
start line: 62
end line: 71
size: 8 LOC
McCabe index: 1
number of parameters: 1

id: 356
unit: fn from()
file: checker/src/path.rs
start line: 62
end line: 69
size: 8 LOC
McCabe index: 1
number of parameters: 1

id: 357
unit: fn is_rooted_by_zeroed_heap_block()
file: checker/src/path.rs
start line: 313
end line: 320
size: 8 LOC
McCabe index: 3
number of parameters: 1

id: 358
unit: fn add_or_replace_selector()
file: checker/src/path.rs
start line: 1083
end line: 1090
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 359
unit: fn format_name()
file: checker/src/call_graph.rs
start line: 193
end line: 200
size: 8 LOC
McCabe index: 1
number of parameters: 1

id: 360
unit: fn get_solver_state_as_string()
file: checker/src/z3_solver.rs
start line: 158
end line: 165
size: 8 LOC
McCabe index: 1
number of parameters: 1

id: 361
unit: fn bv_boolean_op()
file: checker/src/z3_solver.rs
start line: 1962
end line: 1970
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 362
unit: fn from()
file: checker/src/abstract_value.rs
start line: 135
end line: 142
size: 8 LOC
McCabe index: 1
number of parameters: 1

id: 363
unit: fn negate()
file: checker/src/abstract_value.rs
start line: 3804
end line: 3812
size: 8 LOC
McCabe index: 2
number of parameters: 1

id: 364
unit: fn get_path_root()
file: checker/src/abstract_value.rs
start line: 5544
end line: 5551
size: 8 LOC
McCabe index: 1
number of parameters: 1

id: 365
unit: fn uninterpreted_call()
file: checker/src/abstract_value.rs
start line: 6733
end line: 6740
size: 8 LOC
McCabe index: 1
number of parameters: 4

id: 366
unit: std::u32string get_u32string()
file: include/z3++.h
start line: 1121
end line: 1128
size: 8 LOC
McCabe index: 1
number of parameters: 0

id: 367
unit: inline expr mod()
file: include/z3++.h
start line: 1567
end line: 1574
size: 8 LOC
McCabe index: 2
number of parameters: 2

id: 368
unit: inline expr to_expr()
file: include/z3++.h
start line: 2031
end line: 2038
size: 8 LOC
McCabe index: 4
number of parameters: 2

id: 369
unit: inline expr pble()
file: include/z3++.h
start line: 2322
end line: 2329
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 370
unit: inline expr pbge()
file: include/z3++.h
start line: 2330
end line: 2337
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 371
unit: inline expr pbeq()
file: include/z3++.h
start line: 2338
end line: 2345
size: 8 LOC
McCabe index: 1
number of parameters: 3

id: 372
unit: inline expr atmost()
file: include/z3++.h
start line: 2346
end line: 2353
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 373
unit: inline expr atleast()
file: include/z3++.h
start line: 2354
end line: 2361
size: 8 LOC
McCabe index: 1
number of parameters: 2

id: 374
unit: inline expr sum()
file: include/z3++.h
start line: 2362
end line: 2369
size: 8 LOC
McCabe index: 1
number of parameters: 1

id: 375
unit: inline expr distinct()
file: include/z3++.h
start line: 2371
end line: 2378
size: 8 LOC
McCabe index: 1
number of parameters: 1

id: 376
unit: inline expr mk_xor()
file: include/z3++.h
start line: 2436
end line: 2443
size: 8 LOC
McCabe index: 3
number of parameters: 1

id: 377
unit: inline tactic par_or()
file: include/z3++.h
start line: 2989
end line: 2996
size: 8 LOC
McCabe index: 3
number of parameters: 2

id: 378
unit: inline expr re_intersect()
file: include/z3++.h
start line: 3792
end line: 3799
size: 8 LOC
McCabe index: 1
number of parameters: 1

id: 379
unit: unsigned add()
file: include/z3++.h
start line: 4072
end line: 4079
size: 8 LOC
McCabe index: 3
number of parameters: 1

id: 380
unit: fn handle_memcmp()
file: checker/src/call_visitor.rs
start line: 2302
end line: 2308
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 381
unit: fn visit_retag()
file: checker/src/block_visitor.rs
start line: 229
end line: 235
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 382
unit: fn visit_copy()
file: checker/src/block_visitor.rs
start line: 2398
end line: 2404
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 383
unit: fn visit_move()
file: checker/src/block_visitor.rs
start line: 2412
end line: 2418
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 384
unit: fn from()
file: checker/src/bool_domain.rs
start line: 24
end line: 30
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 385
unit: fn included_in()
file: checker/src/crate_visitor.rs
start line: 164
end line: 170
size: 7 LOC
McCabe index: 3
number of parameters: 4

id: 386
unit: fn get_path_root()
file: checker/src/path.rs
start line: 233
end line: 239
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 387
unit: fn get_parameter_root_ordinal()
file: checker/src/path.rs
start line: 243
end line: 249
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 388
unit: fn get_persistent_summary_for_db()
file: checker/src/summaries.rs
start line: 624
end line: 630
size: 7 LOC
McCabe index: 2
number of parameters: 2

id: 389
unit: fn new_eq()
file: checker/src/call_graph.rs
start line: 239
end line: 245
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 390
unit: fn new_member()
file: checker/src/call_graph.rs
start line: 247
end line: 253
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 391
unit: fn add_edge_type()
file: checker/src/call_graph.rs
start line: 405
end line: 411
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 392
unit: fn as_debug_string_helper()
file: checker/src/z3_solver.rs
start line: 194
end line: 200
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 393
unit: fn get_symbol_for()
file: checker/src/z3_solver.rs
start line: 889
end line: 895
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 394
unit: fn bv_reference()
file: checker/src/z3_solver.rs
start line: 2073
end line: 2079
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 395
unit: fn bv_variable()
file: checker/src/z3_solver.rs
start line: 2125
end line: 2131
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 396
unit: fn from()
file: checker/src/constant_domain.rs
start line: 146
end line: 152
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 397
unit: fn from()
file: checker/src/abstract_value.rs
start line: 113
end line: 119
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 398
unit: fn from()
file: checker/src/abstract_value.rs
start line: 124
end line: 130
size: 7 LOC
McCabe index: 2
number of parameters: 1

id: 399
unit: fn as_bool_if_known()
file: checker/src/abstract_value.rs
start line: 1739
end line: 1745
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 400
unit: fn has_tag()
file: checker/src/abstract_value.rs
start line: 3015
end line: 3021
size: 7 LOC
McCabe index: 3
number of parameters: 2

id: 401
unit: void set_context()
file: include/z3++.h
start line: 164
end line: 170
size: 7 LOC
McCabe index: 1
number of parameters: 1

id: 402
unit: inline expr rem()
file: include/z3++.h
start line: 1583
end line: 1589
size: 7 LOC
McCabe index: 3
number of parameters: 2

id: 403
unit: inline expr sqrt()
file: include/z3++.h
start line: 1939
end line: 1945
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 404
unit: inline expr fp_eq()
file: include/z3++.h
start line: 1946
end line: 1952
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 405
unit: inline expr fma()
file: include/z3++.h
start line: 1955
end line: 1961
size: 7 LOC
McCabe index: 3
number of parameters: 4

id: 406
unit: inline expr fpa_fp()
file: include/z3++.h
start line: 1963
end line: 1969
size: 7 LOC
McCabe index: 3
number of parameters: 3

id: 407
unit: inline expr ite()
file: include/z3++.h
start line: 2018
end line: 2024
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 408
unit: expr operator()
file: include/z3++.h
start line: 2214
end line: 2220
size: 7 LOC
McCabe index: 4
number of parameters: 0

id: 409
unit: inline func_decl context::function()
file: include/z3++.h
start line: 3357
end line: 3363
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 410
unit: inline func_decl context::function()
file: include/z3++.h
start line: 3365
end line: 3371
size: 7 LOC
McCabe index: 1
number of parameters: 4

id: 411
unit: inline func_decl context::function()
file: include/z3++.h
start line: 3373
end line: 3379
size: 7 LOC
McCabe index: 1
number of parameters: 5

id: 412
unit: inline func_decl context::function()
file: include/z3++.h
start line: 3381
end line: 3387
size: 7 LOC
McCabe index: 1
number of parameters: 6

id: 413
unit: inline func_decl context::function()
file: include/z3++.h
start line: 3389
end line: 3395
size: 7 LOC
McCabe index: 1
number of parameters: 7

id: 414
unit: inline func_decl context::user_propagate_function()
file: include/z3++.h
start line: 3428
end line: 3434
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 415
unit: inline expr func_decl::operator()
file: include/z3++.h
start line: 3529
end line: 3535
size: 7 LOC
McCabe index: 1
number of parameters: 0

id: 416
unit: inline expr func_decl::operator()
file: include/z3++.h
start line: 3542
end line: 3548
size: 7 LOC
McCabe index: 1
number of parameters: 0

id: 417
unit: inline expr func_decl::operator()
file: include/z3++.h
start line: 3549
end line: 3555
size: 7 LOC
McCabe index: 1
number of parameters: 0

id: 418
unit: inline expr func_decl::operator()
file: include/z3++.h
start line: 3556
end line: 3562
size: 7 LOC
McCabe index: 1
number of parameters: 0

id: 419
unit: inline expr func_decl::operator()
file: include/z3++.h
start line: 3563
end line: 3569
size: 7 LOC
McCabe index: 1
number of parameters: 0

id: 420
unit: inline expr func_decl::operator()
file: include/z3++.h
start line: 3570
end line: 3576
size: 7 LOC
McCabe index: 1
number of parameters: 0

id: 421
unit: inline expr func_decl::operator()
file: include/z3++.h
start line: 3577
end line: 3583
size: 7 LOC
McCabe index: 1
number of parameters: 0

id: 422
unit: inline expr select()
file: include/z3++.h
start line: 3637
end line: 3643
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 423
unit: inline expr store()
file: include/z3++.h
start line: 3657
end line: 3663
size: 7 LOC
McCabe index: 1
number of parameters: 3

id: 424
unit: inline expr set_union()
file: include/z3++.h
start line: 3702
end line: 3708
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 425
unit: inline expr set_intersect()
file: include/z3++.h
start line: 3710
end line: 3716
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 426
unit: inline expr re_diff()
file: include/z3++.h
start line: 3800
end line: 3806
size: 7 LOC
McCabe index: 1
number of parameters: 2

id: 427
unit: static void fixed_eh()
file: include/z3++.h
start line: 3932
end line: 3938
size: 7 LOC
McCabe index: 1
number of parameters: 4

id: 428
unit: static void created_eh()
file: include/z3++.h
start line: 3950
end line: 3956
size: 7 LOC
McCabe index: 1
number of parameters: 4

id: 429
unit: void register_fixed()
file: include/z3++.h
start line: 3993
end line: 3999
size: 7 LOC
McCabe index: 1
number of parameters: 0

id: 430
unit: void register_eq()
file: include/z3++.h
start line: 4007
end line: 4013
size: 7 LOC
McCabe index: 1
number of parameters: 0

id: 431
unit: void register_final()
file: include/z3++.h
start line: 4029
end line: 4035
size: 7 LOC
McCabe index: 1
number of parameters: 0

id: 432
unit: void propagate()
file: include/z3++.h
start line: 4094
end line: 4100
size: 7 LOC
McCabe index: 1
number of parameters: 6

id: 433
unit: fn assert_failed()
file: standard_contracts/src/foreign_contracts.rs
start line: 173
end line: 178
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 434
unit: fn assert_failed()
file: standard_contracts/src/foreign_contracts.rs
start line: 194
end line: 199
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 435
unit: fn assert_failed()
file: standard_contracts/src/foreign_contracts.rs
start line: 203
end line: 208
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 436
unit: fn assert_failed()
file: standard_contracts/src/foreign_contracts.rs
start line: 210
end line: 215
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 437
unit: fn assert_failed()
file: standard_contracts/src/foreign_contracts.rs
start line: 228
end line: 233
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 438
unit: fn len_mismatch_fail()
file: standard_contracts/src/foreign_contracts.rs
start line: 3580
end line: 3585
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 439
unit: fn visit_goto()
file: checker/src/block_visitor.rs
start line: 292
end line: 298
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 440
unit: fn get_operand_path()
file: checker/src/block_visitor.rs
start line: 2358
end line: 2363
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 441
unit: fn parse_expected()
file: checker/src/expected_errors.rs
start line: 95
end line: 101
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 442
unit: fn from()
file: checker/src/tag_domain.rs
start line: 22
end line: 27
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 443
unit: fn is_rooted_by_non_local_structure()
file: checker/src/path.rs
start line: 303
end line: 308
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 444
unit: fn from()
file: checker/src/interval_domain.rs
start line: 49
end line: 54
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 445
unit: fn assert()
file: checker/src/z3_solver.rs
start line: 125
end line: 130
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 446
unit: fn backtrack()
file: checker/src/z3_solver.rs
start line: 133
end line: 138
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 447
unit: fn set_backtrack_position()
file: checker/src/z3_solver.rs
start line: 173
end line: 178
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 448
unit: fn general_reference()
file: checker/src/z3_solver.rs
start line: 561
end line: 566
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 449
unit: fn is_function()
file: checker/src/abstract_value.rs
start line: 3275
end line: 3280
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 450
unit: fn is_unit()
file: checker/src/abstract_value.rs
start line: 3305
end line: 3310
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 451
unit: fn is_zero()
file: checker/src/abstract_value.rs
start line: 3314
end line: 3319
size: 6 LOC
McCabe index: 2
number of parameters: 1

id: 452
unit: Z3_error_code check_error()
file: include/z3++.h
start line: 188
end line: 193
size: 6 LOC
McCabe index: 3
number of parameters: 0

id: 453
unit: expr mk_is_inf()
file: include/z3++.h
start line: 884
end line: 889
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 454
unit: expr mk_is_nan()
file: include/z3++.h
start line: 894
end line: 899
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 455
unit: expr mk_is_normal()
file: include/z3++.h
start line: 904
end line: 909
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 456
unit: expr mk_is_subnormal()
file: include/z3++.h
start line: 914
end line: 919
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 457
unit: expr mk_is_zero()
file: include/z3++.h
start line: 924
end line: 929
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 458
unit: expr mk_to_ieee_bv()
file: include/z3++.h
start line: 934
end line: 939
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 459
unit: expr mk_from_ieee_bv()
file: include/z3++.h
start line: 944
end line: 949
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 460
unit: expr algebraic_lower()
file: include/z3++.h
start line: 965
end line: 970
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 461
unit: expr algebraic_upper()
file: include/z3++.h
start line: 972
end line: 977
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 462
unit: expr_vector algebraic_poly()
file: include/z3++.h
start line: 982
end line: 987
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 463
unit: unsigned algebraic_i()
file: include/z3++.h
start line: 992
end line: 997
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 464
unit: expr numerator()
file: include/z3++.h
start line: 1082
end line: 1087
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 465
unit: expr denominator()
file: include/z3++.h
start line: 1090
end line: 1095
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 466
unit: std::string get_string()
file: include/z3++.h
start line: 1109
end line: 1114
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 467
unit: expr replace()
file: include/z3++.h
start line: 1402
end line: 1407
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 468
unit: expr contains()
file: include/z3++.h
start line: 1413
end line: 1418
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 469
unit: expr at()
file: include/z3++.h
start line: 1419
end line: 1424
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 470
unit: expr nth()
file: include/z3++.h
start line: 1425
end line: 1430
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 471
unit: inline expr bvredor()
file: include/z3++.h
start line: 1907
end line: 1912
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 472
unit: inline expr bvredand()
file: include/z3++.h
start line: 1913
end line: 1918
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 473
unit: inline expr fpa_to_sbv()
file: include/z3++.h
start line: 1971
end line: 1976
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 474
unit: inline expr fpa_to_ubv()
file: include/z3++.h
start line: 1978
end line: 1983
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 475
unit: inline expr sbv_to_fpa()
file: include/z3++.h
start line: 1985
end line: 1990
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 476
unit: inline expr ubv_to_fpa()
file: include/z3++.h
start line: 1992
end line: 1997
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 477
unit: inline expr fpa_to_fpa()
file: include/z3++.h
start line: 1999
end line: 2004
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 478
unit: inline expr round_fpa_to_closest_integer()
file: include/z3++.h
start line: 2006
end line: 2011
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 479
unit: inline expr mk_or()
file: include/z3++.h
start line: 2424
end line: 2429
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 480
unit: inline expr mk_and()
file: include/z3++.h
start line: 2430
end line: 2435
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 481
unit: expr get_const_interp()
file: include/z3++.h
start line: 2545
end line: 2550
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 482
unit: func_interp get_func_interp()
file: include/z3++.h
start line: 2551
end line: 2556
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 483
unit: model convert_model()
file: include/z3++.h
start line: 2866
end line: 2871
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 484
unit: apply_result apply()
file: include/z3++.h
start line: 2939
end line: 2944
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 485
unit: inline tactic par_and_then()
file: include/z3++.h
start line: 2998
end line: 3003
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 486
unit: check_result query()
file: include/z3++.h
start line: 3213
end line: 3218
size: 6 LOC
McCabe index: 1
number of parameters: 1

id: 487
unit: inline tactic when()
file: include/z3++.h
start line: 3249
end line: 3254
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 488
unit: inline tactic cond()
file: include/z3++.h
start line: 3255
end line: 3260
size: 6 LOC
McCabe index: 1
number of parameters: 3

id: 489
unit: inline expr func_decl::operator()
file: include/z3++.h
start line: 3536
end line: 3541
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 490
unit: inline expr select()
file: include/z3++.h
start line: 3628
end line: 3633
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 491
unit: inline expr store()
file: include/z3++.h
start line: 3645
end line: 3650
size: 6 LOC
McCabe index: 1
number of parameters: 3

id: 492
unit: inline expr suffixof()
file: include/z3++.h
start line: 3743
end line: 3748
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 493
unit: inline expr prefixof()
file: include/z3++.h
start line: 3749
end line: 3754
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 494
unit: inline expr indexof()
file: include/z3++.h
start line: 3755
end line: 3760
size: 6 LOC
McCabe index: 1
number of parameters: 3

id: 495
unit: inline expr last_indexof()
file: include/z3++.h
start line: 3761
end line: 3766
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 496
unit: inline expr range()
file: include/z3++.h
start line: 3810
end line: 3815
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 497
unit: void register_created()
file: include/z3++.h
start line: 4043
end line: 4048
size: 6 LOC
McCabe index: 1
number of parameters: 0

id: 498
unit: void conflict()
file: include/z3++.h
start line: 4081
end line: 4086
size: 6 LOC
McCabe index: 1
number of parameters: 2

id: 499
unit: fn storeupd256()
file: standard_contracts/src/foreign_contracts.rs
start line: 734
end line: 738
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 500
unit: fn storeups256()
file: standard_contracts/src/foreign_contracts.rs
start line: 739
end line: 743
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 501
unit: fn storeudq256()
file: standard_contracts/src/foreign_contracts.rs
start line: 744
end line: 748
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 502
unit: fn storeudq()
file: standard_contracts/src/foreign_contracts.rs
start line: 1001
end line: 1005
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 503
unit: fn storeupd()
file: standard_contracts/src/foreign_contracts.rs
start line: 1006
end line: 1010
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 504
unit: fn main()
file: checker/build.rs
start line: 7
end line: 11
size: 5 LOC
McCabe index: 2
number of parameters: 0

id: 505
unit: fn as_debug_string()
file: checker/src/smt_solver.rs
start line: 25
end line: 33
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 506
unit: fn fmt()
file: checker/src/utils.rs
start line: 437
end line: 441
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 507
unit: inline check_result to_check_result()
file: include/z3++.h
start line: 144
end line: 148
size: 5 LOC
McCabe index: 3
number of parameters: 1

id: 508
unit: expr unit()
file: include/z3++.h
start line: 1408
end line: 1412
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 509
unit: expr length()
file: include/z3++.h
start line: 1431
end line: 1435
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 510
unit: expr stoi()
file: include/z3++.h
start line: 1436
end line: 1440
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 511
unit: expr itos()
file: include/z3++.h
start line: 1441
end line: 1445
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 512
unit: expr ubvtos()
file: include/z3++.h
start line: 1446
end line: 1450
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 513
unit: expr sbvtos()
file: include/z3++.h
start line: 1451
end line: 1455
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 514
unit: expr char_to_int()
file: include/z3++.h
start line: 1456
end line: 1460
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 515
unit: expr char_to_bv()
file: include/z3++.h
start line: 1461
end line: 1465
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 516
unit: expr char_from_bv()
file: include/z3++.h
start line: 1466
end line: 1470
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 517
unit: expr is_digit()
file: include/z3++.h
start line: 1471
end line: 1475
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 518
unit: expr loop()
file: include/z3++.h
start line: 1481
end line: 1485
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 519
unit: expr loop()
file: include/z3++.h
start line: 1486
end line: 1490
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 520
unit: inline expr forall()
file: include/z3++.h
start line: 2249
end line: 2253
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 521
unit: inline expr forall()
file: include/z3++.h
start line: 2254
end line: 2258
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 522
unit: inline expr forall()
file: include/z3++.h
start line: 2259
end line: 2263
size: 5 LOC
McCabe index: 1
number of parameters: 4

id: 523
unit: inline expr forall()
file: include/z3++.h
start line: 2264
end line: 2268
size: 5 LOC
McCabe index: 1
number of parameters: 5

id: 524
unit: inline expr exists()
file: include/z3++.h
start line: 2273
end line: 2277
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 525
unit: inline expr exists()
file: include/z3++.h
start line: 2278
end line: 2282
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 526
unit: inline expr exists()
file: include/z3++.h
start line: 2283
end line: 2287
size: 5 LOC
McCabe index: 1
number of parameters: 4

id: 527
unit: inline expr exists()
file: include/z3++.h
start line: 2288
end line: 2292
size: 5 LOC
McCabe index: 1
number of parameters: 5

id: 528
unit: inline expr lambda()
file: include/z3++.h
start line: 2297
end line: 2301
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 529
unit: inline expr lambda()
file: include/z3++.h
start line: 2302
end line: 2306
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 530
unit: inline expr lambda()
file: include/z3++.h
start line: 2307
end line: 2311
size: 5 LOC
McCabe index: 1
number of parameters: 4

id: 531
unit: inline expr lambda()
file: include/z3++.h
start line: 2312
end line: 2316
size: 5 LOC
McCabe index: 1
number of parameters: 5

id: 532
unit: func_interp add_func_interp()
file: include/z3++.h
start line: 2565
end line: 2569
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 533
unit: void add()
file: include/z3++.h
start line: 2654
end line: 2658
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 534
unit: void add()
file: include/z3++.h
start line: 2662
end line: 2666
size: 5 LOC
McCabe index: 2
number of parameters: 1

id: 535
unit: check_result consequences()
file: include/z3++.h
start line: 2693
end line: 2697
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 536
unit: expr_vector cube()
file: include/z3++.h
start line: 2743
end line: 2747
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 537
unit: model get_model()
file: include/z3++.h
start line: 2872
end line: 2876
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 538
unit: inline tactic repeat()
file: include/z3++.h
start line: 2973
end line: 2977
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 539
unit: inline tactic with()
file: include/z3++.h
start line: 2979
end line: 2983
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 540
unit: inline tactic try_for()
file: include/z3++.h
start line: 2984
end line: 2988
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 541
unit: handle add_soft()
file: include/z3++.h
start line: 3127
end line: 3131
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 542
unit: expr lower()
file: include/z3++.h
start line: 3166
end line: 3170
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 543
unit: expr upper()
file: include/z3++.h
start line: 3171
end line: 3175
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 544
unit: expr_vector from_string()
file: include/z3++.h
start line: 3200
end line: 3204
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 545
unit: expr_vector from_file()
file: include/z3++.h
start line: 3205
end line: 3209
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 546
unit: expr get_cover_delta()
file: include/z3++.h
start line: 3223
end line: 3227
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 547
unit: inline tactic fail_if()
file: include/z3++.h
start line: 3244
end line: 3248
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 548
unit: inline void context::recdef()
file: include/z3++.h
start line: 3422
end line: 3426
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 549
unit: inline expr context::constant()
file: include/z3++.h
start line: 3436
end line: 3440
size: 5 LOC
McCabe index: 1
number of parameters: 2

id: 550
unit: inline expr context::bv_val()
file: include/z3++.h
start line: 3485
end line: 3489
size: 5 LOC
McCabe index: 3
number of parameters: 2

id: 551
unit: inline expr func_decl::operator()
file: include/z3++.h
start line: 3524
end line: 3528
size: 5 LOC
McCabe index: 1
number of parameters: 0

id: 552
unit: inline expr as_array()
file: include/z3++.h
start line: 3665
end line: 3669
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 553
unit: inline expr empty()
file: include/z3++.h
start line: 3738
end line: 3742
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 554
unit: inline expr re_empty()
file: include/z3++.h
start line: 3782
end line: 3786
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 555
unit: inline expr re_full()
file: include/z3++.h
start line: 3787
end line: 3791
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 556
unit: inline expr_vector context::parse_string()
file: include/z3++.h
start line: 3821
end line: 3826
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 557
unit: inline expr_vector context::parse_file()
file: include/z3++.h
start line: 3827
end line: 3831
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 558
unit: void register_fixed()
file: include/z3++.h
start line: 3987
end line: 3991
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 559
unit: void register_eq()
file: include/z3++.h
start line: 4001
end line: 4005
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 560
unit: void register_final()
file: include/z3++.h
start line: 4023
end line: 4027
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 561
unit: void register_created()
file: include/z3++.h
start line: 4037
end line: 4041
size: 5 LOC
McCabe index: 1
number of parameters: 1

id: 562
unit: void propagate()
file: include/z3++.h
start line: 4088
end line: 4092
size: 5 LOC
McCabe index: 1
number of parameters: 3

id: 563
unit: fn get_len()
file: checker/src/body_visitor.rs
start line: 2649
end line: 2652
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 564
unit: fn shortened_node_names()
file: checker/src/call_graph.rs
start line: 671
end line: 674
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 565
unit: fn as_debug_string()
file: checker/src/z3_solver.rs
start line: 119
end line: 122
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 566
unit: fn get_as_smt_predicate()
file: checker/src/z3_solver.rs
start line: 141
end line: 144
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 567
unit: fn general_logical_not()
file: checker/src/z3_solver.rs
start line: 555
end line: 558
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 568
unit: fn numeric_bitwise_expression()
file: checker/src/z3_solver.rs
start line: 1352
end line: 1355
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 569
unit: fn bv_neg()
file: checker/src/z3_solver.rs
start line: 1910
end line: 1913
size: 4 LOC
McCabe index: 1
number of parameters: 3

id: 570
unit: fn as_int_if_known()
file: checker/src/abstract_value.rs
start line: 1750
end line: 1753
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 571
unit: void set()
file: include/z3++.h
start line: 126
end line: 129
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 572
unit: void set()
file: include/z3++.h
start line: 221
end line: 224
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 573
unit: std::string get_decimal_string()
file: include/z3++.h
start line: 957
end line: 960
size: 4 LOC
McCabe index: 2
number of parameters: 1

id: 574
unit: expr extract()
file: include/z3++.h
start line: 1398
end line: 1401
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 575
unit: inline expr implies()
file: include/z3++.h
start line: 1555
end line: 1558
size: 4 LOC
McCabe index: 2
number of parameters: 2

id: 576
unit: inline sort to_sort()
file: include/z3++.h
start line: 2040
end line: 2043
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 577
unit: inline func_decl to_func_decl()
file: include/z3++.h
start line: 2045
end line: 2048
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 578
unit: sort operator()
file: include/z3++.h
start line: 2225
end line: 2228
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 579
unit: func_decl operator()
file: include/z3++.h
start line: 2233
end line: 2236
size: 4 LOC
McCabe index: 1
number of parameters: 0

id: 580
unit: inline expr forall()
file: include/z3++.h
start line: 2269
end line: 2272
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 581
unit: inline expr exists()
file: include/z3++.h
start line: 2293
end line: 2296
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 582
unit: inline expr lambda()
file: include/z3++.h
start line: 2317
end line: 2320
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 583
unit: void init()
file: include/z3++.h
start line: 2448
end line: 2451
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 584
unit: void init()
file: include/z3++.h
start line: 2471
end line: 2474
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 585
unit: void add_entry()
file: include/z3++.h
start line: 2490
end line: 2493
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 586
unit: void set_else()
file: include/z3++.h
start line: 2494
end line: 2497
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 587
unit: void init()
file: include/z3++.h
start line: 2502
end line: 2505
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 588
unit: bool has_interp()
file: include/z3++.h
start line: 2560
end line: 2563
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 589
unit: void add_const_interp()
file: include/z3++.h
start line: 2571
end line: 2574
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 590
unit: void init()
file: include/z3++.h
start line: 2584
end line: 2587
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 591
unit: void init()
file: include/z3++.h
start line: 2622
end line: 2625
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 592
unit: void init()
file: include/z3++.h
start line: 2838
end line: 2841
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 593
unit: void init()
file: include/z3++.h
start line: 2897
end line: 2900
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 594
unit: void init()
file: include/z3++.h
start line: 2921
end line: 2924
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 595
unit: void init()
file: include/z3++.h
start line: 3007
end line: 3010
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 596
unit: void add()
file: include/z3++.h
start line: 3112
end line: 3115
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 597
unit: void add()
file: include/z3++.h
start line: 3119
end line: 3122
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 598
unit: void add()
file: include/z3++.h
start line: 3123
end line: 3126
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 599
unit: handle add_soft()
file: include/z3++.h
start line: 3132
end line: 3135
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 600
unit: std::string to_string()
file: include/z3++.h
start line: 3237
end line: 3240
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 601
unit: inline sort context::array_sort()
file: include/z3++.h
start line: 3290
end line: 3293
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 602
unit: inline sort context::uninterpreted_sort()
file: include/z3++.h
start line: 3318
end line: 3321
size: 4 LOC
McCabe index: 1
number of parameters: 1

id: 603
unit: inline func_decl context::recfun()
file: include/z3++.h
start line: 3417
end line: 3420
size: 4 LOC
McCabe index: 1
number of parameters: 4

id: 604
unit: static void eq_eh()
file: include/z3++.h
start line: 3940
end line: 3943
size: 4 LOC
McCabe index: 1
number of parameters: 4

id: 605
unit: static void final_eh()
file: include/z3++.h
start line: 3945
end line: 3948
size: 4 LOC
McCabe index: 1
number of parameters: 2

id: 606
unit: fn PERMITS_TRAVERSAL()
file: standard_contracts/src/foreign_contracts.rs
start line: 43
end line: 45
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 607
unit: fn PERMITS_TRAVERSAL__alloc_collections_btree_node_marker_Owned()
file: standard_contracts/src/foreign_contracts.rs
start line: 46
end line: 48
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 608
unit: fn INITIAL_CAPACITY()
file: standard_contracts/src/foreign_contracts.rs
start line: 76
end line: 78
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 609
unit: fn MINIMUM_CAPACITY()
file: standard_contracts/src/foreign_contracts.rs
start line: 79
end line: 81
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 610
unit: fn MAXIMUM_ZST_CAPACITY()
file: standard_contracts/src/foreign_contracts.rs
start line: 82
end line: 84
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 611
unit: fn from()
file: standard_contracts/src/foreign_contracts.rs
start line: 141
end line: 143
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 612
unit: fn from()
file: standard_contracts/src/foreign_contracts.rs
start line: 146
end line: 148
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 613
unit: fn from()
file: standard_contracts/src/foreign_contracts.rs
start line: 158
end line: 160
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 614
unit: fn MAX_REFCOUNT()
file: standard_contracts/src/foreign_contracts.rs
start line: 165
end line: 167
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 615
unit: fn assert_failed()
file: standard_contracts/src/foreign_contracts.rs
start line: 182
end line: 184
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 616
unit: fn assert_failed()
file: standard_contracts/src/foreign_contracts.rs
start line: 188
end line: 190
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 617
unit: fn assert_failed()
file: standard_contracts/src/foreign_contracts.rs
start line: 218
end line: 220
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 618
unit: fn assert_failed()
file: standard_contracts/src/foreign_contracts.rs
start line: 223
end line: 225
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 619
unit: fn lt__ref_i32_ref_i32()
file: standard_contracts/src/foreign_contracts.rs
start line: 602
end line: 604
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 620
unit: fn finish()
file: standard_contracts/src/foreign_contracts.rs
start line: 1174
end line: 1176
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 621
unit: fn MAY_HAVE_SIDE_EFFECT()
file: standard_contracts/src/foreign_contracts.rs
start line: 2974
end line: 2976
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 622
unit: fn MAY_HAVE_SIDE_EFFECT()
file: standard_contracts/src/foreign_contracts.rs
start line: 2984
end line: 2986
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 623
unit: fn eq()
file: standard_contracts/src/foreign_contracts.rs
start line: 3060
end line: 3062
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 624
unit: fn ASCII_CASE_MASK()
file: standard_contracts/src/foreign_contracts.rs
start line: 3067
end line: 3069
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 625
unit: fn unwrap_failed()
file: standard_contracts/src/foreign_contracts.rs
start line: 3572
end line: 3574
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 626
unit: fn DELETED()
file: standard_contracts/src/foreign_contracts.rs
start line: 3833
end line: 3835
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 627
unit: fn EMPTY()
file: standard_contracts/src/foreign_contracts.rs
start line: 3836
end line: 3838
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 628
unit: fn WIDTH()
file: standard_contracts/src/foreign_contracts.rs
start line: 3852
end line: 3854
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 629
unit: fn BITMASK_MASK()
file: standard_contracts/src/foreign_contracts.rs
start line: 3856
end line: 3858
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 630
unit: fn BITMASK_STRIDE()
file: standard_contracts/src/foreign_contracts.rs
start line: 3859
end line: 3861
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 631
unit: fn BITMASK_MASK()
file: standard_contracts/src/foreign_contracts.rs
start line: 3866
end line: 3868
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 632
unit: fn BITMASK_STRIDE()
file: standard_contracts/src/foreign_contracts.rs
start line: 3869
end line: 3871
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 633
unit: fn WIDTH()
file: standard_contracts/src/foreign_contracts.rs
start line: 3881
end line: 3883
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 634
unit: fn WIDTH()
file: standard_contracts/src/foreign_contracts.rs
start line: 3889
end line: 3891
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 635
unit: fn KIND()
file: standard_contracts/src/foreign_contracts.rs
start line: 4018
end line: 4020
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 636
unit: fn KIND()
file: standard_contracts/src/foreign_contracts.rs
start line: 4026
end line: 4028
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 637
unit: fn KIND()
file: standard_contracts/src/foreign_contracts.rs
start line: 4034
end line: 4036
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 638
unit: fn KIND()
file: standard_contracts/src/foreign_contracts.rs
start line: 4042
end line: 4044
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 639
unit: fn KIND()
file: standard_contracts/src/foreign_contracts.rs
start line: 4050
end line: 4052
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 640
unit: fn KIND()
file: standard_contracts/src/foreign_contracts.rs
start line: 4058
end line: 4060
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 641
unit: fn KIND()
file: standard_contracts/src/foreign_contracts.rs
start line: 4066
end line: 4068
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 642
unit: fn KIND()
file: standard_contracts/src/foreign_contracts.rs
start line: 4074
end line: 4076
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 643
unit: fn KIND()
file: standard_contracts/src/foreign_contracts.rs
start line: 4082
end line: 4084
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 644
unit: fn KIND()
file: standard_contracts/src/foreign_contracts.rs
start line: 4090
end line: 4092
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 645
unit: fn KIND()
file: standard_contracts/src/foreign_contracts.rs
start line: 4098
end line: 4100
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 646
unit: fn KIND()
file: standard_contracts/src/foreign_contracts.rs
start line: 4106
end line: 4108
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 647
unit: fn fmt()
file: checker/src/call_visitor.rs
start line: 54
end line: 56
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 648
unit: fn fmt()
file: checker/src/block_visitor.rs
start line: 53
end line: 55
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 649
unit: fn default()
file: checker/src/type_visitor.rs
start line: 40
end line: 42
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 650
unit: fn fmt()
file: checker/src/type_visitor.rs
start line: 91
end line: 93
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 651
unit: fn fmt()
file: checker/src/body_visitor.rs
start line: 79
end line: 81
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 652
unit: fn as_debug_string()
file: checker/src/smt_solver.rs
start line: 79
end line: 81
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 653
unit: fn get_model_as_string()
file: checker/src/smt_solver.rs
start line: 89
end line: 91
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 654
unit: fn get_solver_state_as_string()
file: checker/src/smt_solver.rs
start line: 93
end line: 95
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 655
unit: fn solve()
file: checker/src/smt_solver.rs
start line: 101
end line: 103
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 656
unit: fn default()
file: checker/src/options.rs
start line: 99
end line: 101
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 657
unit: fn fmt()
file: checker/src/crate_visitor.rs
start line: 65
end line: 67
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 658
unit: fn fmt()
file: checker/src/fixed_point_visitor.rs
start line: 35
end line: 37
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 659
unit: fn fmt()
file: checker/src/path.rs
start line: 43
end line: 45
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 660
unit: fn hash()
file: checker/src/path.rs
start line: 49
end line: 51
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 661
unit: fn eq()
file: checker/src/path.rs
start line: 55
end line: 57
size: 3 LOC
McCabe index: 2
number of parameters: 2

id: 662
unit: fn is_rooted_by_parameter()
file: checker/src/path.rs
start line: 324
end line: 326
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 663
unit: fn fmt()
file: checker/src/summaries.rs
start line: 400
end line: 402
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 664
unit: fn new()
file: checker/src/call_graph.rs
start line: 281
end line: 283
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 665
unit: fn fmt()
file: checker/src/callbacks.rs
start line: 61
end line: 63
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 666
unit: fn default()
file: checker/src/callbacks.rs
start line: 67
end line: 69
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 667
unit: fn fmt()
file: checker/src/z3_solver.rs
start line: 50
end line: 52
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 668
unit: fn default()
file: checker/src/z3_solver.rs
start line: 112
end line: 114
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 669
unit: fn invert_predicate()
file: checker/src/z3_solver.rs
start line: 168
end line: 170
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 670
unit: fn bv_widen()
file: checker/src/z3_solver.rs
start line: 2134
end line: 2136
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 671
unit: fn fmt()
file: checker/src/constant_domain.rs
start line: 1165
end line: 1167
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 672
unit: fn default()
file: checker/src/constant_domain.rs
start line: 1282
end line: 1284
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 673
unit: fn fmt()
file: checker/src/abstract_value.rs
start line: 64
end line: 66
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 674
unit: fn hash()
file: checker/src/abstract_value.rs
start line: 81
end line: 83
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 675
unit: fn eq()
file: checker/src/abstract_value.rs
start line: 88
end line: 90
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 676
unit: fn from()
file: checker/src/abstract_value.rs
start line: 147
end line: 149
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 677
unit: fn from()
file: checker/src/abstract_value.rs
start line: 154
end line: 156
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 678
unit: fn does_not_have_tag()
file: checker/src/abstract_value.rs
start line: 2515
end line: 2517
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 679
unit: fn is_bottom()
file: checker/src/abstract_value.rs
start line: 3250
end line: 3252
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 680
unit: fn is_compile_time_constant()
file: checker/src/abstract_value.rs
start line: 3256
end line: 3258
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 681
unit: fn is_top()
file: checker/src/abstract_value.rs
start line: 3299
end line: 3301
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 682
unit: fn record_heap_blocks_and_strings()
file: checker/src/abstract_value.rs
start line: 4661
end line: 4663
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 683
unit: fn crate_name()
file: checker/src/utils.rs
start line: 350
end line: 352
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 684
unit: void init()
file: include/z3++.h
start line: 161
end line: 163
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 685
unit: void check_parser_error()
file: include/z3++.h
start line: 195
end line: 197
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 686
unit: void set()
file: include/z3++.h
start line: 594
end line: 596
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 687
unit: func_decl transitive_closure()
file: include/z3++.h
start line: 727
end line: 729
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 688
unit: Z3_lbool bool_value()
file: include/z3++.h
start line: 1078
end line: 1080
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 689
unit: inline expr bvadd_no_overflow()
file: include/z3++.h
start line: 2163
end line: 2165
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 690
unit: inline expr bvadd_no_underflow()
file: include/z3++.h
start line: 2166
end line: 2168
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 691
unit: inline expr bvsub_no_overflow()
file: include/z3++.h
start line: 2169
end line: 2171
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 692
unit: inline expr bvsub_no_underflow()
file: include/z3++.h
start line: 2172
end line: 2174
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 693
unit: inline expr bvsdiv_no_overflow()
file: include/z3++.h
start line: 2175
end line: 2177
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 694
unit: inline expr bvneg_no_overflow()
file: include/z3++.h
start line: 2178
end line: 2180
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 695
unit: inline expr bvmul_no_overflow()
file: include/z3++.h
start line: 2181
end line: 2183
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 696
unit: inline expr bvmul_no_underflow()
file: include/z3++.h
start line: 2184
end line: 2186
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 697
unit: inline func_decl linear_order()
file: include/z3++.h
start line: 2194
end line: 2196
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 698
unit: inline func_decl partial_order()
file: include/z3++.h
start line: 2197
end line: 2199
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 699
unit: inline func_decl piecewise_linear_order()
file: include/z3++.h
start line: 2200
end line: 2202
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 700
unit: inline func_decl tree_order()
file: include/z3++.h
start line: 2203
end line: 2205
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 701
unit: void add()
file: include/z3++.h
start line: 2659
end line: 2661
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 702
unit: apply_result operator()
file: include/z3++.h
start line: 2945
end line: 2947
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 703
unit: void add()
file: include/z3++.h
start line: 3116
end line: 3118
size: 3 LOC
McCabe index: 2
number of parameters: 1

id: 704
unit: handle add()
file: include/z3++.h
start line: 3136
end line: 3138
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 705
unit: handle maximize()
file: include/z3++.h
start line: 3139
end line: 3141
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 706
unit: handle minimize()
file: include/z3++.h
start line: 3142
end line: 3144
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 707
unit: void push()
file: include/z3++.h
start line: 3145
end line: 3147
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 708
unit: void pop()
file: include/z3++.h
start line: 3148
end line: 3150
size: 3 LOC
McCabe index: 1
number of parameters: 0

id: 709
unit: inline sort context::uninterpreted_sort()
file: include/z3++.h
start line: 3322
end line: 3324
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 710
unit: inline func_decl context::function()
file: include/z3++.h
start line: 3337
end line: 3339
size: 3 LOC
McCabe index: 1
number of parameters: 4

id: 711
unit: inline func_decl context::function()
file: include/z3++.h
start line: 3352
end line: 3354
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 712
unit: inline func_decl context::recfun()
file: include/z3++.h
start line: 3409
end line: 3411
size: 3 LOC
McCabe index: 1
number of parameters: 4

id: 713
unit: inline func_decl context::recfun()
file: include/z3++.h
start line: 3413
end line: 3415
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 714
unit: inline func_decl function()
file: include/z3++.h
start line: 3587
end line: 3589
size: 3 LOC
McCabe index: 1
number of parameters: 4

id: 715
unit: inline func_decl function()
file: include/z3++.h
start line: 3590
end line: 3592
size: 3 LOC
McCabe index: 1
number of parameters: 4

id: 716
unit: inline func_decl function()
file: include/z3++.h
start line: 3593
end line: 3595
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 717
unit: inline func_decl function()
file: include/z3++.h
start line: 3596
end line: 3598
size: 3 LOC
McCabe index: 1
number of parameters: 4

id: 718
unit: inline func_decl function()
file: include/z3++.h
start line: 3599
end line: 3601
size: 3 LOC
McCabe index: 1
number of parameters: 5

id: 719
unit: inline func_decl function()
file: include/z3++.h
start line: 3602
end line: 3604
size: 3 LOC
McCabe index: 1
number of parameters: 6

id: 720
unit: inline func_decl function()
file: include/z3++.h
start line: 3605
end line: 3607
size: 3 LOC
McCabe index: 1
number of parameters: 7

id: 721
unit: inline func_decl function()
file: include/z3++.h
start line: 3608
end line: 3610
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 722
unit: inline func_decl function()
file: include/z3++.h
start line: 3611
end line: 3613
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 723
unit: inline func_decl recfun()
file: include/z3++.h
start line: 3615
end line: 3617
size: 3 LOC
McCabe index: 1
number of parameters: 4

id: 724
unit: inline func_decl recfun()
file: include/z3++.h
start line: 3618
end line: 3620
size: 3 LOC
McCabe index: 1
number of parameters: 4

id: 725
unit: inline func_decl recfun()
file: include/z3++.h
start line: 3621
end line: 3623
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 726
unit: inline func_decl recfun()
file: include/z3++.h
start line: 3624
end line: 3626
size: 3 LOC
McCabe index: 1
number of parameters: 4

id: 727
unit: inline expr select()
file: include/z3++.h
start line: 3634
end line: 3636
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 728
unit: inline expr store()
file: include/z3++.h
start line: 3654
end line: 3656
size: 3 LOC
McCabe index: 1
number of parameters: 3

id: 729
unit: inline expr const_array()
file: include/z3++.h
start line: 3682
end line: 3684
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 730
unit: inline expr empty_set()
file: include/z3++.h
start line: 3686
end line: 3688
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 731
unit: inline expr full_set()
file: include/z3++.h
start line: 3690
end line: 3692
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 732
unit: inline expr set_add()
file: include/z3++.h
start line: 3694
end line: 3696
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 733
unit: inline expr set_del()
file: include/z3++.h
start line: 3698
end line: 3700
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 734
unit: inline expr set_difference()
file: include/z3++.h
start line: 3718
end line: 3720
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 735
unit: inline expr set_complement()
file: include/z3++.h
start line: 3722
end line: 3724
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 736
unit: inline expr set_member()
file: include/z3++.h
start line: 3726
end line: 3728
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 737
unit: inline expr set_subset()
file: include/z3++.h
start line: 3730
end line: 3732
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 738
unit: inline expr to_re()
file: include/z3++.h
start line: 3767
end line: 3769
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 739
unit: inline expr in_re()
file: include/z3++.h
start line: 3770
end line: 3772
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 740
unit: inline expr plus()
file: include/z3++.h
start line: 3773
end line: 3775
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 741
unit: inline expr option()
file: include/z3++.h
start line: 3776
end line: 3778
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 742
unit: inline expr star()
file: include/z3++.h
start line: 3779
end line: 3781
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 743
unit: inline expr re_complement()
file: include/z3++.h
start line: 3807
end line: 3809
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 744
unit: Z3_context ctx()
file: include/z3++.h
start line: 3906
end line: 3908
size: 3 LOC
McCabe index: 2
number of parameters: 0

id: 745
unit: static void push_eh()
file: include/z3++.h
start line: 3920
end line: 3922
size: 3 LOC
McCabe index: 1
number of parameters: 1

id: 746
unit: static void pop_eh()
file: include/z3++.h
start line: 3924
end line: 3926
size: 3 LOC
McCabe index: 1
number of parameters: 2

id: 747
unit: fn visit_unreachable()
file: checker/src/block_visitor.rs
start line: 420
end line: 425
size: 2 LOC
McCabe index: 1
number of parameters: 1

id: 748
unit: fn pause()
file: standard_contracts/src/foreign_contracts.rs
start line: 931
end line: 931
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 749
unit: fn lfence()
file: standard_contracts/src/foreign_contracts.rs
start line: 933
end line: 933
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 750
unit: fn mfence()
file: standard_contracts/src/foreign_contracts.rs
start line: 934
end line: 934
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 751
unit: fn visit_storage_live()
file: checker/src/block_visitor.rs
start line: 208
end line: 208
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 752
unit: fn visit_resume()
file: checker/src/block_visitor.rs
start line: 384
end line: 384
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 753
unit: fn visit_abort()
file: checker/src/block_visitor.rs
start line: 389
end line: 389
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 754
unit: fn assert()
file: checker/src/smt_solver.rs
start line: 83
end line: 83
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 755
unit: fn backtrack()
file: checker/src/smt_solver.rs
start line: 85
end line: 85
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 756
unit: fn get_as_smt_predicate()
file: checker/src/smt_solver.rs
start line: 87
end line: 87
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 757
unit: fn invert_predicate()
file: checker/src/smt_solver.rs
start line: 97
end line: 97
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 758
unit: fn set_backtrack_position()
file: checker/src/smt_solver.rs
start line: 99
end line: 99
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 759
unit: inline void set_param()
file: include/z3++.h
start line: 77
end line: 77
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 760
unit: inline void set_param()
file: include/z3++.h
start line: 78
end line: 78
size: 1 LOC
McCabe index: 2
number of parameters: 2

id: 761
unit: inline void set_param()
file: include/z3++.h
start line: 79
end line: 79
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 762
unit: inline void reset_params()
file: include/z3++.h
start line: 80
end line: 80
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 763
unit: virtual ~exception()
file: include/z3++.h
start line: 88
end line: 88
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 764
unit: operator Z3_config()
file: include/z3++.h
start line: 114
end line: 114
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 765
unit: void set()
file: include/z3++.h
start line: 118
end line: 118
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 766
unit: void set()
file: include/z3++.h
start line: 122
end line: 122
size: 1 LOC
McCabe index: 2
number of parameters: 2

id: 767
unit: void detach()
file: include/z3++.h
start line: 178
end line: 178
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 768
unit: operator Z3_context()
file: include/z3++.h
start line: 183
end line: 183
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 769
unit: void set_enable_exceptions()
file: include/z3++.h
start line: 206
end line: 206
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 770
unit: bool enable_exceptions()
file: include/z3++.h
start line: 208
end line: 208
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 771
unit: void set()
file: include/z3++.h
start line: 213
end line: 213
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 772
unit: void set()
file: include/z3++.h
start line: 217
end line: 217
size: 1 LOC
McCabe index: 2
number of parameters: 2

id: 773
unit: void interrupt()
file: include/z3++.h
start line: 230
end line: 230
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 774
unit: unsigned size()
file: include/z3++.h
start line: 417
end line: 417
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 775
unit: Z3_error_code check_error()
file: include/z3++.h
start line: 430
end line: 430
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 776
unit: inline void check_context()
file: include/z3++.h
start line: 433
end line: 433
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 777
unit: operator Z3_symbol()
file: include/z3++.h
start line: 439
end line: 439
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 778
unit: Z3_symbol_kind kind()
file: include/z3++.h
start line: 440
end line: 440
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 779
unit: std::string str()
file: include/z3++.h
start line: 441
end line: 441
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 780
unit: int to_int()
file: include/z3++.h
start line: 442
end line: 442
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 781
unit: static param_descrs simplify_param_descrs()
file: include/z3++.h
start line: 468
end line: 468
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 782
unit: unsigned size()
file: include/z3++.h
start line: 470
end line: 470
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 783
unit: symbol name()
file: include/z3++.h
start line: 471
end line: 471
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 784
unit: Z3_param_kind kind()
file: include/z3++.h
start line: 472
end line: 472
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 785
unit: std::string documentation()
file: include/z3++.h
start line: 473
end line: 473
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 786
unit: std::string to_string()
file: include/z3++.h
start line: 474
end line: 474
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 787
unit: operator Z3_params()
file: include/z3++.h
start line: 485
end line: 485
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 788
unit: void set()
file: include/z3++.h
start line: 493
end line: 493
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 789
unit: void set()
file: include/z3++.h
start line: 494
end line: 494
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 790
unit: void set()
file: include/z3++.h
start line: 495
end line: 495
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 791
unit: void set()
file: include/z3++.h
start line: 496
end line: 496
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 792
unit: void set()
file: include/z3++.h
start line: 497
end line: 497
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 793
unit: operator Z3_ast()
file: include/z3++.h
start line: 513
end line: 513
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 794
unit: operator bool()
file: include/z3++.h
start line: 514
end line: 514
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 795
unit: Z3_ast_kind kind()
file: include/z3++.h
start line: 523
end line: 523
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 796
unit: unsigned hash()
file: include/z3++.h
start line: 524
end line: 524
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 797
unit: std::string to_string()
file: include/z3++.h
start line: 526
end line: 526
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 798
unit: inline bool eq()
file: include/z3++.h
start line: 538
end line: 538
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 799
unit: void init()
file: include/z3++.h
start line: 543
end line: 543
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 800
unit: operator Z3_ast_vector()
file: include/z3++.h
start line: 551
end line: 551
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 801
unit: unsigned size()
file: include/z3++.h
start line: 552
end line: 552
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 802
unit: void push_back()
file: include/z3++.h
start line: 554
end line: 554
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 803
unit: void resize()
file: include/z3++.h
start line: 555
end line: 555
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 804
unit: T back()
file: include/z3++.h
start line: 556
end line: 556
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 805
unit: void pop_back()
file: include/z3++.h
start line: 557
end line: 557
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 806
unit: bool empty()
file: include/z3++.h
start line: 558
end line: 558
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 807
unit: iterator begin()
file: include/z3++.h
start line: 601
end line: 601
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 808
unit: iterator end()
file: include/z3++.h
start line: 602
end line: 602
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 809
unit: std::string to_string()
file: include/z3++.h
start line: 604
end line: 604
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 810
unit: operator Z3_sort()
file: include/z3++.h
start line: 616
end line: 616
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 811
unit: unsigned id()
file: include/z3++.h
start line: 621
end line: 621
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 812
unit: Z3_sort_kind sort_kind()
file: include/z3++.h
start line: 626
end line: 626
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 813
unit: symbol name()
file: include/z3++.h
start line: 630
end line: 630
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 814
unit: bool is_bool()
file: include/z3++.h
start line: 634
end line: 634
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 815
unit: bool is_int()
file: include/z3++.h
start line: 638
end line: 638
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 816
unit: bool is_real()
file: include/z3++.h
start line: 642
end line: 642
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 817
unit: bool is_arith()
file: include/z3++.h
start line: 646
end line: 646
size: 1 LOC
McCabe index: 2
number of parameters: 0

id: 818
unit: bool is_bv()
file: include/z3++.h
start line: 650
end line: 650
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 819
unit: bool is_array()
file: include/z3++.h
start line: 654
end line: 654
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 820
unit: bool is_datatype()
file: include/z3++.h
start line: 658
end line: 658
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 821
unit: bool is_relation()
file: include/z3++.h
start line: 662
end line: 662
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 822
unit: bool is_seq()
file: include/z3++.h
start line: 666
end line: 666
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 823
unit: bool is_re()
file: include/z3++.h
start line: 670
end line: 670
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 824
unit: bool is_finite_domain()
file: include/z3++.h
start line: 674
end line: 674
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 825
unit: bool is_fpa()
file: include/z3++.h
start line: 678
end line: 678
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 826
unit: unsigned bv_size()
file: include/z3++.h
start line: 685
end line: 685
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 827
unit: unsigned fpa_ebits()
file: include/z3++.h
start line: 687
end line: 687
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 828
unit: unsigned fpa_sbits()
file: include/z3++.h
start line: 689
end line: 689
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 829
unit: sort array_domain()
file: include/z3++.h
start line: 695
end line: 695
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 830
unit: sort array_range()
file: include/z3++.h
start line: 701
end line: 701
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 831
unit: operator Z3_func_decl()
file: include/z3++.h
start line: 714
end line: 714
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 832
unit: unsigned id()
file: include/z3++.h
start line: 719
end line: 719
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 833
unit: unsigned arity()
file: include/z3++.h
start line: 721
end line: 721
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 834
unit: sort domain()
file: include/z3++.h
start line: 722
end line: 722
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 835
unit: sort range()
file: include/z3++.h
start line: 723
end line: 723
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 836
unit: symbol name()
file: include/z3++.h
start line: 724
end line: 724
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 837
unit: Z3_decl_kind decl_kind()
file: include/z3++.h
start line: 725
end line: 725
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 838
unit: bool is_const()
file: include/z3++.h
start line: 731
end line: 731
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 839
unit: sort get_sort()
file: include/z3++.h
start line: 764
end line: 764
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 840
unit: bool is_bool()
file: include/z3++.h
start line: 769
end line: 769
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 841
unit: bool is_int()
file: include/z3++.h
start line: 773
end line: 773
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 842
unit: bool is_real()
file: include/z3++.h
start line: 777
end line: 777
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 843
unit: bool is_arith()
file: include/z3++.h
start line: 781
end line: 781
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 844
unit: bool is_bv()
file: include/z3++.h
start line: 785
end line: 785
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 845
unit: bool is_array()
file: include/z3++.h
start line: 789
end line: 789
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 846
unit: bool is_datatype()
file: include/z3++.h
start line: 793
end line: 793
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 847
unit: bool is_relation()
file: include/z3++.h
start line: 797
end line: 797
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 848
unit: bool is_seq()
file: include/z3++.h
start line: 801
end line: 801
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 849
unit: bool is_re()
file: include/z3++.h
start line: 805
end line: 805
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 850
unit: bool is_finite_domain()
file: include/z3++.h
start line: 815
end line: 815
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 851
unit: bool is_fpa()
file: include/z3++.h
start line: 819
end line: 819
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 852
unit: bool is_numeral()
file: include/z3++.h
start line: 826
end line: 826
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 853
unit: bool is_numeral_i64()
file: include/z3++.h
start line: 827
end line: 827
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 854
unit: bool is_numeral_u64()
file: include/z3++.h
start line: 828
end line: 828
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 855
unit: bool is_numeral_i()
file: include/z3++.h
start line: 829
end line: 829
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 856
unit: bool is_numeral_u()
file: include/z3++.h
start line: 830
end line: 830
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 857
unit: bool is_numeral()
file: include/z3++.h
start line: 831
end line: 831
size: 1 LOC
McCabe index: 2
number of parameters: 1

id: 858
unit: bool is_numeral()
file: include/z3++.h
start line: 832
end line: 832
size: 1 LOC
McCabe index: 2
number of parameters: 2

id: 859
unit: bool is_numeral()
file: include/z3++.h
start line: 833
end line: 833
size: 1 LOC
McCabe index: 2
number of parameters: 1

id: 860
unit: bool as_binary()
file: include/z3++.h
start line: 834
end line: 834
size: 1 LOC
McCabe index: 2
number of parameters: 1

id: 861
unit: double as_double()
file: include/z3++.h
start line: 836
end line: 836
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 862
unit: uint64_t as_uint64()
file: include/z3++.h
start line: 837
end line: 837
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 863
unit: int64_t as_int64()
file: include/z3++.h
start line: 838
end line: 838
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 864
unit: bool is_app()
file: include/z3++.h
start line: 844
end line: 844
size: 1 LOC
McCabe index: 2
number of parameters: 0

id: 865
unit: bool is_const()
file: include/z3++.h
start line: 848
end line: 848
size: 1 LOC
McCabe index: 2
number of parameters: 0

id: 866
unit: bool is_quantifier()
file: include/z3++.h
start line: 852
end line: 852
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 867
unit: bool is_forall()
file: include/z3++.h
start line: 857
end line: 857
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 868
unit: bool is_exists()
file: include/z3++.h
start line: 861
end line: 861
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 869
unit: bool is_lambda()
file: include/z3++.h
start line: 865
end line: 865
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 870
unit: bool is_var()
file: include/z3++.h
start line: 870
end line: 870
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 871
unit: bool is_algebraic()
file: include/z3++.h
start line: 874
end line: 874
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 872
unit: bool is_well_sorted()
file: include/z3++.h
start line: 879
end line: 879
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 873
unit: unsigned id()
file: include/z3++.h
start line: 1002
end line: 1002
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 874
unit: bool is_string_value()
file: include/z3++.h
start line: 1102
end line: 1102
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 875
unit: operator Z3_app()
file: include/z3++.h
start line: 1130
end line: 1130
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 876
unit: func_decl decl()
file: include/z3++.h
start line: 1138
end line: 1138
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 877
unit: unsigned num_args()
file: include/z3++.h
start line: 1145
end line: 1145
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 878
unit: expr arg()
file: include/z3++.h
start line: 1153
end line: 1153
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 879
unit: expr body()
file: include/z3++.h
start line: 1160
end line: 1160
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 880
unit: bool is_true()
file: include/z3++.h
start line: 1226
end line: 1226
size: 1 LOC
McCabe index: 2
number of parameters: 0

id: 881
unit: bool is_false()
file: include/z3++.h
start line: 1227
end line: 1227
size: 1 LOC
McCabe index: 2
number of parameters: 0

id: 882
unit: bool is_not()
file: include/z3++.h
start line: 1228
end line: 1228
size: 1 LOC
McCabe index: 2
number of parameters: 0

id: 883
unit: bool is_and()
file: include/z3++.h
start line: 1229
end line: 1229
size: 1 LOC
McCabe index: 2
number of parameters: 0

id: 884
unit: bool is_or()
file: include/z3++.h
start line: 1230
end line: 1230
size: 1 LOC
McCabe index: 2
number of parameters: 0

id: 885
unit: bool is_xor()
file: include/z3++.h
start line: 1231
end line: 1231
size: 1 LOC
McCabe index: 2
number of parameters: 0

id: 886
unit: bool is_implies()
file: include/z3++.h
start line: 1232
end line: 1232
size: 1 LOC
McCabe index: 2
number of parameters: 0

id: 887
unit: bool is_eq()
file: include/z3++.h
start line: 1233
end line: 1233
size: 1 LOC
McCabe index: 2
number of parameters: 0

id: 888
unit: bool is_ite()
file: include/z3++.h
start line: 1234
end line: 1234
size: 1 LOC
McCabe index: 2
number of parameters: 0

id: 889
unit: bool is_distinct()
file: include/z3++.h
start line: 1235
end line: 1235
size: 1 LOC
McCabe index: 2
number of parameters: 0

id: 890
unit: expr rotate_left()
file: include/z3++.h
start line: 1337
end line: 1337
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 891
unit: expr rotate_right()
file: include/z3++.h
start line: 1338
end line: 1338
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 892
unit: expr repeat()
file: include/z3++.h
start line: 1339
end line: 1339
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 893
unit: expr extract()
file: include/z3++.h
start line: 1349
end line: 1349
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 894
unit: unsigned lo()
file: include/z3++.h
start line: 1350
end line: 1350
size: 1 LOC
McCabe index: 2
number of parameters: 0

id: 895
unit: unsigned hi()
file: include/z3++.h
start line: 1351
end line: 1351
size: 1 LOC
McCabe index: 2
number of parameters: 0

id: 896
unit: expr simplify()
file: include/z3++.h
start line: 1510
end line: 1510
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 897
unit: expr simplify()
file: include/z3++.h
start line: 1514
end line: 1514
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 898
unit: iterator begin()
file: include/z3++.h
start line: 1543
end line: 1543
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 899
unit: iterator end()
file: include/z3++.h
start line: 1544
end line: 1544
size: 1 LOC
McCabe index: 2
number of parameters: 0

id: 900
unit: inline expr implies()
file: include/z3++.h
start line: 1559
end line: 1559
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 901
unit: inline expr implies()
file: include/z3++.h
start line: 1560
end line: 1560
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 902
unit: inline expr pw()
file: include/z3++.h
start line: 1563
end line: 1563
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 903
unit: inline expr pw()
file: include/z3++.h
start line: 1564
end line: 1564
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 904
unit: inline expr pw()
file: include/z3++.h
start line: 1565
end line: 1565
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 905
unit: inline expr mod()
file: include/z3++.h
start line: 1575
end line: 1575
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 906
unit: inline expr mod()
file: include/z3++.h
start line: 1576
end line: 1576
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 907
unit: inline expr rem()
file: include/z3++.h
start line: 1590
end line: 1590
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 908
unit: inline expr rem()
file: include/z3++.h
start line: 1591
end line: 1591
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 909
unit: inline expr is_int()
file: include/z3++.h
start line: 1603
end line: 1603
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 910
unit: inline expr nand()
file: include/z3++.h
start line: 1874
end line: 1874
size: 1 LOC
McCabe index: 3
number of parameters: 2

id: 911
unit: inline expr nor()
file: include/z3++.h
start line: 1875
end line: 1875
size: 1 LOC
McCabe index: 3
number of parameters: 2

id: 912
unit: inline expr xnor()
file: include/z3++.h
start line: 1876
end line: 1876
size: 1 LOC
McCabe index: 2
number of parameters: 2

id: 913
unit: inline expr operator~()
file: include/z3++.h
start line: 1953
end line: 1953
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 914
unit: inline expr sle()
file: include/z3++.h
start line: 2053
end line: 2053
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 915
unit: inline expr sle()
file: include/z3++.h
start line: 2054
end line: 2054
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 916
unit: inline expr sle()
file: include/z3++.h
start line: 2055
end line: 2055
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 917
unit: inline expr slt()
file: include/z3++.h
start line: 2059
end line: 2059
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 918
unit: inline expr slt()
file: include/z3++.h
start line: 2060
end line: 2060
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 919
unit: inline expr slt()
file: include/z3++.h
start line: 2061
end line: 2061
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 920
unit: inline expr sge()
file: include/z3++.h
start line: 2065
end line: 2065
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 921
unit: inline expr sge()
file: include/z3++.h
start line: 2066
end line: 2066
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 922
unit: inline expr sge()
file: include/z3++.h
start line: 2067
end line: 2067
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 923
unit: inline expr sgt()
file: include/z3++.h
start line: 2071
end line: 2071
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 924
unit: inline expr sgt()
file: include/z3++.h
start line: 2072
end line: 2072
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 925
unit: inline expr sgt()
file: include/z3++.h
start line: 2073
end line: 2073
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 926
unit: inline expr ule()
file: include/z3++.h
start line: 2079
end line: 2079
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 927
unit: inline expr ule()
file: include/z3++.h
start line: 2080
end line: 2080
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 928
unit: inline expr ule()
file: include/z3++.h
start line: 2081
end line: 2081
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 929
unit: inline expr ult()
file: include/z3++.h
start line: 2085
end line: 2085
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 930
unit: inline expr ult()
file: include/z3++.h
start line: 2086
end line: 2086
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 931
unit: inline expr ult()
file: include/z3++.h
start line: 2087
end line: 2087
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 932
unit: inline expr uge()
file: include/z3++.h
start line: 2091
end line: 2091
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 933
unit: inline expr uge()
file: include/z3++.h
start line: 2092
end line: 2092
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 934
unit: inline expr uge()
file: include/z3++.h
start line: 2093
end line: 2093
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 935
unit: inline expr ugt()
file: include/z3++.h
start line: 2097
end line: 2097
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 936
unit: inline expr ugt()
file: include/z3++.h
start line: 2098
end line: 2098
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 937
unit: inline expr ugt()
file: include/z3++.h
start line: 2099
end line: 2099
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 938
unit: inline expr udiv()
file: include/z3++.h
start line: 2103
end line: 2103
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 939
unit: inline expr udiv()
file: include/z3++.h
start line: 2104
end line: 2104
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 940
unit: inline expr udiv()
file: include/z3++.h
start line: 2105
end line: 2105
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 941
unit: inline expr srem()
file: include/z3++.h
start line: 2110
end line: 2110
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 942
unit: inline expr srem()
file: include/z3++.h
start line: 2111
end line: 2111
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 943
unit: inline expr srem()
file: include/z3++.h
start line: 2112
end line: 2112
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 944
unit: inline expr smod()
file: include/z3++.h
start line: 2117
end line: 2117
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 945
unit: inline expr smod()
file: include/z3++.h
start line: 2118
end line: 2118
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 946
unit: inline expr smod()
file: include/z3++.h
start line: 2119
end line: 2119
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 947
unit: inline expr urem()
file: include/z3++.h
start line: 2124
end line: 2124
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 948
unit: inline expr urem()
file: include/z3++.h
start line: 2125
end line: 2125
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 949
unit: inline expr urem()
file: include/z3++.h
start line: 2126
end line: 2126
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 950
unit: inline expr shl()
file: include/z3++.h
start line: 2131
end line: 2131
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 951
unit: inline expr shl()
file: include/z3++.h
start line: 2132
end line: 2132
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 952
unit: inline expr shl()
file: include/z3++.h
start line: 2133
end line: 2133
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 953
unit: inline expr lshr()
file: include/z3++.h
start line: 2138
end line: 2138
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 954
unit: inline expr lshr()
file: include/z3++.h
start line: 2139
end line: 2139
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 955
unit: inline expr lshr()
file: include/z3++.h
start line: 2140
end line: 2140
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 956
unit: inline expr ashr()
file: include/z3++.h
start line: 2145
end line: 2145
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 957
unit: inline expr ashr()
file: include/z3++.h
start line: 2146
end line: 2146
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 958
unit: inline expr ashr()
file: include/z3++.h
start line: 2147
end line: 2147
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 959
unit: inline expr zext()
file: include/z3++.h
start line: 2152
end line: 2152
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 960
unit: inline expr bv2int()
file: include/z3++.h
start line: 2157
end line: 2157
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 961
unit: inline expr int2bv()
file: include/z3++.h
start line: 2158
end line: 2158
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 962
unit: inline expr sext()
file: include/z3++.h
start line: 2192
end line: 2192
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 963
unit: ast operator()
file: include/z3++.h
start line: 2209
end line: 2209
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 964
unit: operator Z3_func_entry()
file: include/z3++.h
start line: 2456
end line: 2456
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 965
unit: expr value()
file: include/z3++.h
start line: 2464
end line: 2464
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 966
unit: unsigned num_args()
file: include/z3++.h
start line: 2465
end line: 2465
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 967
unit: expr arg()
file: include/z3++.h
start line: 2466
end line: 2466
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 968
unit: operator Z3_func_interp()
file: include/z3++.h
start line: 2479
end line: 2479
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 969
unit: expr else_value()
file: include/z3++.h
start line: 2487
end line: 2487
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 970
unit: unsigned num_entries()
file: include/z3++.h
start line: 2488
end line: 2488
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 971
unit: func_entry entry()
file: include/z3++.h
start line: 2489
end line: 2489
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 972
unit: operator Z3_model()
file: include/z3++.h
start line: 2513
end line: 2513
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 973
unit: unsigned num_consts()
file: include/z3++.h
start line: 2532
end line: 2532
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 974
unit: unsigned num_funcs()
file: include/z3++.h
start line: 2533
end line: 2533
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 975
unit: func_decl get_const_decl()
file: include/z3++.h
start line: 2534
end line: 2534
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 976
unit: func_decl get_func_decl()
file: include/z3++.h
start line: 2535
end line: 2535
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 977
unit: unsigned size()
file: include/z3++.h
start line: 2536
end line: 2536
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 978
unit: std::string to_string()
file: include/z3++.h
start line: 2578
end line: 2578
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 979
unit: operator Z3_stats()
file: include/z3++.h
start line: 2593
end line: 2593
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 980
unit: unsigned size()
file: include/z3++.h
start line: 2601
end line: 2601
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 981
unit: std::string key()
file: include/z3++.h
start line: 2602
end line: 2602
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 982
unit: bool is_uint()
file: include/z3++.h
start line: 2603
end line: 2603
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 983
unit: bool is_double()
file: include/z3++.h
start line: 2604
end line: 2604
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 984
unit: unsigned uint_value()
file: include/z3++.h
start line: 2605
end line: 2605
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 985
unit: double double_value()
file: include/z3++.h
start line: 2606
end line: 2606
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 986
unit: operator Z3_solver()
file: include/z3++.h
start line: 2636
end line: 2636
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 987
unit: void set()
file: include/z3++.h
start line: 2644
end line: 2644
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 988
unit: void set()
file: include/z3++.h
start line: 2645
end line: 2645
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 989
unit: void set()
file: include/z3++.h
start line: 2646
end line: 2646
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 990
unit: void set()
file: include/z3++.h
start line: 2647
end line: 2647
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 991
unit: void set()
file: include/z3++.h
start line: 2648
end line: 2648
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 992
unit: void set()
file: include/z3++.h
start line: 2649
end line: 2649
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 993
unit: void push()
file: include/z3++.h
start line: 2650
end line: 2650
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 994
unit: void pop()
file: include/z3++.h
start line: 2651
end line: 2651
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 995
unit: void reset()
file: include/z3++.h
start line: 2652
end line: 2652
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 996
unit: void add()
file: include/z3++.h
start line: 2653
end line: 2653
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 997
unit: void from_file()
file: include/z3++.h
start line: 2667
end line: 2667
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 998
unit: void from_string()
file: include/z3++.h
start line: 2668
end line: 2668
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 999
unit: check_result check()
file: include/z3++.h
start line: 2670
end line: 2670
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1000
unit: model get_model()
file: include/z3++.h
start line: 2692
end line: 2692
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1001
unit: std::string reason_unknown()
file: include/z3++.h
start line: 2698
end line: 2698
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1002
unit: stats statistics()
file: include/z3++.h
start line: 2699
end line: 2699
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1003
unit: expr_vector unsat_core()
file: include/z3++.h
start line: 2700
end line: 2700
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1004
unit: expr_vector assertions()
file: include/z3++.h
start line: 2701
end line: 2701
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1005
unit: expr_vector non_units()
file: include/z3++.h
start line: 2702
end line: 2702
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1006
unit: expr_vector units()
file: include/z3++.h
start line: 2703
end line: 2703
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1007
unit: expr_vector trail()
file: include/z3++.h
start line: 2704
end line: 2704
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1008
unit: expr proof()
file: include/z3++.h
start line: 2715
end line: 2715
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1009
unit: std::string dimacs()
file: include/z3++.h
start line: 2738
end line: 2738
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1010
unit: param_descrs get_param_descrs()
file: include/z3++.h
start line: 2740
end line: 2740
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1011
unit: cube_iterator begin()
file: include/z3++.h
start line: 2825
end line: 2825
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1012
unit: cube_iterator end()
file: include/z3++.h
start line: 2826
end line: 2826
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1013
unit: void set_cutoff()
file: include/z3++.h
start line: 2827
end line: 2827
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1014
unit: cube_generator cubes()
file: include/z3++.h
start line: 2830
end line: 2830
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1015
unit: cube_generator cubes()
file: include/z3++.h
start line: 2831
end line: 2831
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1016
unit: operator Z3_goal()
file: include/z3++.h
start line: 2847
end line: 2847
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1017
unit: void add()
file: include/z3++.h
start line: 2855
end line: 2855
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1018
unit: void add()
file: include/z3++.h
start line: 2856
end line: 2856
size: 1 LOC
McCabe index: 2
number of parameters: 1

id: 1019
unit: unsigned size()
file: include/z3++.h
start line: 2857
end line: 2857
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1020
unit: Z3_goal_prec precision()
file: include/z3++.h
start line: 2859
end line: 2859
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1021
unit: bool inconsistent()
file: include/z3++.h
start line: 2860
end line: 2860
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1022
unit: unsigned depth()
file: include/z3++.h
start line: 2861
end line: 2861
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1023
unit: void reset()
file: include/z3++.h
start line: 2862
end line: 2862
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1024
unit: unsigned num_exprs()
file: include/z3++.h
start line: 2863
end line: 2863
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1025
unit: bool is_decided_sat()
file: include/z3++.h
start line: 2864
end line: 2864
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1026
unit: bool is_decided_unsat()
file: include/z3++.h
start line: 2865
end line: 2865
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1027
unit: std::string dimacs()
file: include/z3++.h
start line: 2890
end line: 2890
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1028
unit: operator Z3_apply_result()
file: include/z3++.h
start line: 2905
end line: 2905
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1029
unit: unsigned size()
file: include/z3++.h
start line: 2913
end line: 2913
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1030
unit: operator Z3_tactic()
file: include/z3++.h
start line: 2930
end line: 2930
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1031
unit: solver mk_solver()
file: include/z3++.h
start line: 2938
end line: 2938
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1032
unit: std::string help()
file: include/z3++.h
start line: 2948
end line: 2948
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1033
unit: param_descrs get_param_descrs()
file: include/z3++.h
start line: 2956
end line: 2956
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1034
unit: operator Z3_probe()
file: include/z3++.h
start line: 3017
end line: 3017
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1035
unit: double apply()
file: include/z3++.h
start line: 3025
end line: 3025
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1036
unit: double operator()
file: include/z3++.h
start line: 3026
end line: 3026
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1037
unit: unsigned h()
file: include/z3++.h
start line: 3090
end line: 3090
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1038
unit: operator Z3_optimize()
file: include/z3++.h
start line: 3111
end line: 3111
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1039
unit: check_result check()
file: include/z3++.h
start line: 3151
end line: 3151
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1040
unit: model get_model()
file: include/z3++.h
start line: 3163
end line: 3163
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1041
unit: expr_vector unsat_core()
file: include/z3++.h
start line: 3164
end line: 3164
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1042
unit: void set()
file: include/z3++.h
start line: 3165
end line: 3165
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1043
unit: expr_vector assertions()
file: include/z3++.h
start line: 3176
end line: 3176
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1044
unit: expr_vector objectives()
file: include/z3++.h
start line: 3177
end line: 3177
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1045
unit: stats statistics()
file: include/z3++.h
start line: 3178
end line: 3178
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1046
unit: void from_file()
file: include/z3++.h
start line: 3180
end line: 3180
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1047
unit: void from_string()
file: include/z3++.h
start line: 3181
end line: 3181
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1048
unit: std::string help()
file: include/z3++.h
start line: 3182
end line: 3182
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1049
unit: operator Z3_fixedpoint()
file: include/z3++.h
start line: 3199
end line: 3199
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1050
unit: void add_rule()
file: include/z3++.h
start line: 3210
end line: 3210
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 1051
unit: void add_fact()
file: include/z3++.h
start line: 3211
end line: 3211
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 1052
unit: check_result query()
file: include/z3++.h
start line: 3212
end line: 3212
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1053
unit: expr get_answer()
file: include/z3++.h
start line: 3219
end line: 3219
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1054
unit: std::string reason_unknown()
file: include/z3++.h
start line: 3220
end line: 3220
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1055
unit: void update_rule()
file: include/z3++.h
start line: 3221
end line: 3221
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 1056
unit: unsigned get_num_levels()
file: include/z3++.h
start line: 3222
end line: 3222
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1057
unit: void add_cover()
file: include/z3++.h
start line: 3228
end line: 3228
size: 1 LOC
McCabe index: 1
number of parameters: 3

id: 1058
unit: stats statistics()
file: include/z3++.h
start line: 3229
end line: 3229
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1059
unit: void register_relation()
file: include/z3++.h
start line: 3230
end line: 3230
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1060
unit: expr_vector assertions()
file: include/z3++.h
start line: 3231
end line: 3231
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1061
unit: expr_vector rules()
file: include/z3++.h
start line: 3232
end line: 3232
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1062
unit: void set()
file: include/z3++.h
start line: 3233
end line: 3233
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1063
unit: std::string help()
file: include/z3++.h
start line: 3234
end line: 3234
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1064
unit: param_descrs get_param_descrs()
file: include/z3++.h
start line: 3235
end line: 3235
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1065
unit: std::string to_string()
file: include/z3++.h
start line: 3236
end line: 3236
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1066
unit: inline symbol context::str_symbol()
file: include/z3++.h
start line: 3262
end line: 3262
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1067
unit: inline symbol context::int_symbol()
file: include/z3++.h
start line: 3263
end line: 3263
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1068
unit: inline sort context::bool_sort()
file: include/z3++.h
start line: 3265
end line: 3265
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1069
unit: inline sort context::int_sort()
file: include/z3++.h
start line: 3266
end line: 3266
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1070
unit: inline sort context::real_sort()
file: include/z3++.h
start line: 3267
end line: 3267
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1071
unit: inline sort context::bv_sort()
file: include/z3++.h
start line: 3268
end line: 3268
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1072
unit: inline sort context::string_sort()
file: include/z3++.h
start line: 3269
end line: 3269
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1073
unit: inline sort context::char_sort()
file: include/z3++.h
start line: 3270
end line: 3270
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1074
unit: inline sort context::seq_sort()
file: include/z3++.h
start line: 3271
end line: 3271
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1075
unit: inline sort context::re_sort()
file: include/z3++.h
start line: 3272
end line: 3272
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1076
unit: inline sort context::fpa_sort()
file: include/z3++.h
start line: 3273
end line: 3273
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 1077
unit: inline sort context::fpa_sort()
file: include/z3++.h
start line: 3276
end line: 3276
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1078
unit: inline sort context::fpa_sort()
file: include/z3++.h
start line: 3279
end line: 3279
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1079
unit: inline sort context::fpa_sort()
file: include/z3++.h
start line: 3282
end line: 3282
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1080
unit: inline sort context::fpa_sort()
file: include/z3++.h
start line: 3285
end line: 3285
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1081
unit: inline sort context::fpa_rounding_mode_sort()
file: include/z3++.h
start line: 3287
end line: 3287
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1082
unit: inline sort context::array_sort()
file: include/z3++.h
start line: 3289
end line: 3289
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 1083
unit: inline expr context::constant()
file: include/z3++.h
start line: 3441
end line: 3441
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 1084
unit: inline expr context::bool_const()
file: include/z3++.h
start line: 3442
end line: 3442
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1085
unit: inline expr context::int_const()
file: include/z3++.h
start line: 3443
end line: 3443
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1086
unit: inline expr context::real_const()
file: include/z3++.h
start line: 3444
end line: 3444
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1087
unit: inline expr context::string_const()
file: include/z3++.h
start line: 3445
end line: 3445
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1088
unit: inline expr context::bv_const()
file: include/z3++.h
start line: 3446
end line: 3446
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 1089
unit: inline expr context::fpa_const()
file: include/z3++.h
start line: 3447
end line: 3447
size: 1 LOC
McCabe index: 1
number of parameters: 3

id: 1090
unit: inline expr context::fpa_const()
file: include/z3++.h
start line: 3450
end line: 3450
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1091
unit: inline void context::set_rounding_mode()
file: include/z3++.h
start line: 3452
end line: 3452
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1092
unit: inline expr context::bool_val()
file: include/z3++.h
start line: 3465
end line: 3465
size: 1 LOC
McCabe index: 2
number of parameters: 1

id: 1093
unit: inline expr context::int_val()
file: include/z3++.h
start line: 3467
end line: 3467
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1094
unit: inline expr context::int_val()
file: include/z3++.h
start line: 3468
end line: 3468
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1095
unit: inline expr context::int_val()
file: include/z3++.h
start line: 3469
end line: 3469
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1096
unit: inline expr context::int_val()
file: include/z3++.h
start line: 3470
end line: 3470
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1097
unit: inline expr context::int_val()
file: include/z3++.h
start line: 3471
end line: 3471
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1098
unit: inline expr context::real_val()
file: include/z3++.h
start line: 3473
end line: 3473
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 1099
unit: inline expr context::real_val()
file: include/z3++.h
start line: 3474
end line: 3474
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1100
unit: inline expr context::real_val()
file: include/z3++.h
start line: 3475
end line: 3475
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1101
unit: inline expr context::real_val()
file: include/z3++.h
start line: 3476
end line: 3476
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1102
unit: inline expr context::real_val()
file: include/z3++.h
start line: 3477
end line: 3477
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1103
unit: inline expr context::real_val()
file: include/z3++.h
start line: 3478
end line: 3478
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1104
unit: inline expr context::bv_val()
file: include/z3++.h
start line: 3480
end line: 3480
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 1105
unit: inline expr context::bv_val()
file: include/z3++.h
start line: 3481
end line: 3481
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 1106
unit: inline expr context::bv_val()
file: include/z3++.h
start line: 3482
end line: 3482
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 1107
unit: inline expr context::bv_val()
file: include/z3++.h
start line: 3483
end line: 3483
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 1108
unit: inline expr context::bv_val()
file: include/z3++.h
start line: 3484
end line: 3484
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 1109
unit: inline expr context::fpa_val()
file: include/z3++.h
start line: 3491
end line: 3491
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1110
unit: inline expr context::fpa_val()
file: include/z3++.h
start line: 3492
end line: 3492
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1111
unit: inline expr context::fpa_nan()
file: include/z3++.h
start line: 3493
end line: 3493
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1112
unit: inline expr context::fpa_inf()
file: include/z3++.h
start line: 3494
end line: 3494
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 1113
unit: inline expr context::string_val()
file: include/z3++.h
start line: 3496
end line: 3496
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 1114
unit: inline expr context::string_val()
file: include/z3++.h
start line: 3497
end line: 3497
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1115
unit: inline expr context::string_val()
file: include/z3++.h
start line: 3498
end line: 3498
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1116
unit: inline expr context::string_val()
file: include/z3++.h
start line: 3499
end line: 3499
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1117
unit: inline expr context::num_val()
file: include/z3++.h
start line: 3501
end line: 3501
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 1118
unit: inline expr to_real()
file: include/z3++.h
start line: 3585
end line: 3585
size: 1 LOC
McCabe index: 1
number of parameters: 1

id: 1119
unit: inline expr store()
file: include/z3++.h
start line: 3652
end line: 3652
size: 1 LOC
McCabe index: 1
number of parameters: 3

id: 1120
unit: inline expr store()
file: include/z3++.h
start line: 3653
end line: 3653
size: 1 LOC
McCabe index: 1
number of parameters: 3

id: 1121
unit: virtual void fixed()
file: include/z3++.h
start line: 4050
end line: 4050
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 1122
unit: virtual void eq()
file: include/z3++.h
start line: 4052
end line: 4052
size: 1 LOC
McCabe index: 1
number of parameters: 2

id: 1123
unit: virtual void final()
file: include/z3++.h
start line: 4054
end line: 4054
size: 1 LOC
McCabe index: 1
number of parameters: 0

id: 1124
unit: virtual void created()
file: include/z3++.h
start line: 4056
end line: 4056
size: 1 LOC
McCabe index: 1
number of parameters: 2