Path	Lines of Code
checker/tests/benchmarks/get_elem_values.rs	132
checker/tests/call_graph/fnptr.rs	52
checker/tests/call_graph/fnptr_clean.rs	55
checker/tests/call_graph/fnptr_deduplicate.rs	48
checker/tests/call_graph/fnptr_dom.rs	54
checker/tests/call_graph/fnptr_dom_loop.rs	68
checker/tests/call_graph/fnptr_dom_loop_souffle.rs	64
checker/tests/call_graph/fnptr_fold.rs	53
checker/tests/call_graph/fnptr_loop.rs	59
checker/tests/call_graph/fnptr_slice.rs	44
checker/tests/call_graph/replace_croot.rs	33
checker/tests/call_graph/static.rs	48
checker/tests/call_graph/static_clean.rs	51
checker/tests/call_graph/static_deduplicate.rs	48
checker/tests/call_graph/static_dom.rs	53
checker/tests/call_graph/static_dom_loop.rs	64
checker/tests/call_graph/static_fold.rs	49
checker/tests/call_graph/static_loop.rs	55
checker/tests/call_graph/static_no_args.rs	33
checker/tests/call_graph/static_slice.rs	44
checker/tests/call_graph/static_souffle.rs	45
checker/tests/call_graph/type_relations.rs	106
checker/tests/integration_tests.rs	397
checker/tests/run-pass/abort.rs	5
checker/tests/run-pass/abstract_value.rs	8
checker/tests/run-pass/alloc_zeroed.rs	33
checker/tests/run-pass/and_then.rs	20
checker/tests/run-pass/array_access_with_unwind.rs	7
checker/tests/run-pass/array_copy.rs	13
checker/tests/run-pass/array_index.rs	18
checker/tests/run-pass/array_len.rs	14
checker/tests/run-pass/array_literal.rs	6
checker/tests/run-pass/array_literal_out_of_bounds.rs	16
checker/tests/run-pass/array_pattern_copy.rs	15
checker/tests/run-pass/array_pattern_match.rs	6
checker/tests/run-pass/array_pattern_move.rs	18
checker/tests/run-pass/array_repeat.rs	37
checker/tests/run-pass/array_static.rs	20
checker/tests/run-pass/ascii_set.rs	25
checker/tests/run-pass/assert_as_precondition.rs	8
checker/tests/run-pass/assume.rs	18
checker/tests/run-pass/assume_preconditions.rs	8
checker/tests/run-pass/assume_provably_false.rs	6
checker/tests/run-pass/async.rs	9
checker/tests/run-pass/binary_arith.rs	83
checker/tests/run-pass/binary_bitwise.rs	49
checker/tests/run-pass/binary_overflow.rs	92
checker/tests/run-pass/bit_counting.rs	13
checker/tests/run-pass/bit_vec.rs	15
checker/tests/run-pass/bit_vector_and_vec_push.rs	24
checker/tests/run-pass/bit_vectors.rs	20
checker/tests/run-pass/bitwise_not.rs	20
checker/tests/run-pass/box_deref.rs	9
checker/tests/run-pass/box_fail.rs	5
checker/tests/run-pass/box_struct.rs	16
checker/tests/run-pass/buffer.rs	14
checker/tests/run-pass/call_once.rs	16
checker/tests/run-pass/cast.rs	18
checker/tests/run-pass/checked_add.rs	40
checker/tests/run-pass/closure_mut_param.rs	13
checker/tests/run-pass/closure_param.rs	13
checker/tests/run-pass/closure_precond_inference.rs	11
checker/tests/run-pass/closure_result.rs	10
checker/tests/run-pass/cmp_max.rs	74
checker/tests/run-pass/const_fn_precon.rs	7
checker/tests/run-pass/const_promoted.rs	6
checker/tests/run-pass/constant_time_taint.rs	74
checker/tests/run-pass/contract_annotations.rs	63
checker/tests/run-pass/copy_from_slice.rs	14
checker/tests/run-pass/core_contract.rs	6
checker/tests/run-pass/crate_traversal.rs	125
checker/tests/run-pass/deallocate.rs	61
checker/tests/run-pass/def_id_not_unique.rs	24
checker/tests/run-pass/deref_arc.rs	19
checker/tests/run-pass/deref_param.rs	12
checker/tests/run-pass/deref_ref_param_vals.rs	18
checker/tests/run-pass/disambiguate_nested_functions.rs	2
checker/tests/run-pass/discriminant.rs	5
checker/tests/run-pass/drop.rs	5
checker/tests/run-pass/enum_assign.rs	20
checker/tests/run-pass/enum_cast.rs	20
checker/tests/run-pass/enum_fieldless.rs	65
checker/tests/run-pass/factorial.rs	11
checker/tests/run-pass/false_assertion.rs	5
checker/tests/run-pass/fibonacci.rs	12
checker/tests/run-pass/field_assign.rs	9
checker/tests/run-pass/fill_bytes.rs	7
checker/tests/run-pass/filter.rs	4
checker/tests/run-pass/fixed_point.rs	12
checker/tests/run-pass/for.rs	6
checker/tests/run-pass/for_each_fold.rs	44
checker/tests/run-pass/for_in.rs	8
checker/tests/run-pass/for_iterator.rs	1
checker/tests/run-pass/func_call.rs	20
checker/tests/run-pass/func_call_return_struct.rs	12
checker/tests/run-pass/func_call_side_effect.rs	13
checker/tests/run-pass/func_params.rs	34
checker/tests/run-pass/function_pointer_resolution.rs	188
checker/tests/run-pass/generic_recursive.rs	28
checker/tests/run-pass/generic_static.rs	15
checker/tests/run-pass/generic_trait_override.rs	22
checker/tests/run-pass/hex_encode.rs	16
checker/tests/run-pass/implicit_deref.rs	29
checker/tests/run-pass/inferred_precondition.rs	7
checker/tests/run-pass/invalid_post_condition.rs	15
checker/tests/run-pass/isize_max.rs	22
checker/tests/run-pass/isize_max_value.rs	22
checker/tests/run-pass/isize_min.rs	22
checker/tests/run-pass/isize_min_value.rs	22
checker/tests/run-pass/iterator.rs	58
checker/tests/run-pass/join_commands.rs	14
checker/tests/run-pass/lazy_const_array.rs	6
checker/tests/run-pass/lazy_static.rs	32
checker/tests/run-pass/mangling.rs	30
checker/tests/run-pass/match_guard.rs	15
checker/tests/run-pass/maybe_unreachable.rs	10
checker/tests/run-pass/mem_replace.rs	12
checker/tests/run-pass/memcmp.rs	23
checker/tests/run-pass/model_field_refinement.rs	27
checker/tests/run-pass/move_return.rs	14
checker/tests/run-pass/move_widen.rs	11
checker/tests/run-pass/mutate_then_copy.rs	12
checker/tests/run-pass/negation.rs	21
checker/tests/run-pass/nested_while_loops.rs	15
checker/tests/run-pass/nibble_path.rs	39
checker/tests/run-pass/numeric_constants.rs	35
checker/tests/run-pass/offset.rs	71
checker/tests/run-pass/offset_fixpoint.rs	25
checker/tests/run-pass/option_take.rs	11
checker/tests/run-pass/other_constants.rs	23
checker/tests/run-pass/overflow.rs	17
checker/tests/run-pass/panic_fmt.rs	19
checker/tests/run-pass/path_refinement.rs	27
checker/tests/run-pass/plus_one.rs	16
checker/tests/run-pass/point.rs	45
checker/tests/run-pass/possible_possible.rs	7
checker/tests/run-pass/post_conditions.rs	45
checker/tests/run-pass/power_of_two.rs	15
checker/tests/run-pass/pre_state.rs	12
checker/tests/run-pass/precondition.rs	21
checker/tests/run-pass/precondition_local.rs	15
checker/tests/run-pass/promoted_array.rs	10
checker/tests/run-pass/promoted_constant.rs	6
checker/tests/run-pass/promoted_local.rs	25
checker/tests/run-pass/promoted_slice.rs	85
checker/tests/run-pass/queue_drop.rs	16
checker/tests/run-pass/read_exact.rs	28
checker/tests/run-pass/read_to_end.rs	10
checker/tests/run-pass/ref_deref.rs	8
checker/tests/run-pass/ref_equality.rs	5
checker/tests/run-pass/refcell.rs	1
checker/tests/run-pass/relational_intervals.rs	18
checker/tests/run-pass/relaxed_precon.rs	10
checker/tests/run-pass/return_conditional.rs	3
checker/tests/run-pass/rust_alloc.rs	12
checker/tests/run-pass/signed_interval_overflows.rs	232
checker/tests/run-pass/simplify.rs	80
checker/tests/run-pass/size_of.rs	9
checker/tests/run-pass/size_of_u32.rs	15
checker/tests/run-pass/size_of_val.rs	14
checker/tests/run-pass/sized_array_parameter.rs	8
checker/tests/run-pass/slice_copy.rs	76
checker/tests/run-pass/smt_shift_left.rs	17
checker/tests/run-pass/smuggled_funcs.rs	29
checker/tests/run-pass/split_slice.rs	4
checker/tests/run-pass/static_assign.rs	7
checker/tests/run-pass/str_is_empty.rs	5
checker/tests/run-pass/str_len.rs	5
checker/tests/run-pass/struct_param_local_copy.rs	18
checker/tests/run-pass/subslice_pattern_copy.rs	17
checker/tests/run-pass/subslice_pattern_move.rs	20
checker/tests/run-pass/switch.rs	38
checker/tests/run-pass/tag_cloning.rs	16
checker/tests/run-pass/tag_control_flow.rs	34
checker/tests/run-pass/tag_domain.rs	30
checker/tests/run-pass/tag_empty_struct.rs	54
checker/tests/run-pass/tag_func_params.rs	53
checker/tests/run-pass/tag_nested_struct.rs	90
checker/tests/run-pass/tag_non_scalar.rs	93
checker/tests/run-pass/tag_post_cond.rs	20
checker/tests/run-pass/tag_result.rs	25
checker/tests/run-pass/tag_struct.rs	156
checker/tests/run-pass/tag_vector_calls.rs	104
checker/tests/run-pass/tag_vectors.rs	85
checker/tests/run-pass/tag_weak_updates.rs	28
checker/tests/run-pass/taint.rs	30
checker/tests/run-pass/target_path_refinement.rs	12
checker/tests/run-pass/test_source.rs	12
checker/tests/run-pass/to_bits.rs	5
checker/tests/run-pass/to_owned.rs	1
checker/tests/run-pass/trait_call.rs	89
checker/tests/run-pass/trait_contracts.rs	28
checker/tests/run-pass/trait_override.rs	22
checker/tests/run-pass/transmute.rs	119
checker/tests/run-pass/true_assertion.rs	5
checker/tests/run-pass/true_assumption.rs	12
checker/tests/run-pass/tuple_postcon.rs	24
checker/tests/run-pass/type_tracking.rs	23
checker/tests/run-pass/u16_max.rs	4
checker/tests/run-pass/u64_max.rs	4
checker/tests/run-pass/union.rs	14
checker/tests/run-pass/union_fat_thin_ptr.rs	28
checker/tests/run-pass/union_field_assignment.rs	120
checker/tests/run-pass/unknown_model_field.rs	8
checker/tests/run-pass/unreachable.rs	32
checker/tests/run-pass/unrecoverable.rs	11
checker/tests/run-pass/unsigned_interval_overflows.rs	217
checker/tests/run-pass/unzip.rs	3
checker/tests/run-pass/use_copy.rs	15
checker/tests/run-pass/use_move.rs	11
checker/tests/run-pass/usize_max.rs	22
checker/tests/run-pass/usize_max_value.rs	22
checker/tests/run-pass/vec_append.rs	5
checker/tests/run-pass/vec_as_slice.rs	20
checker/tests/run-pass/vec_clear.rs	7
checker/tests/run-pass/vec_conditional_push.rs	2
checker/tests/run-pass/vec_dealloc.rs	13
checker/tests/run-pass/vec_empty_postcondition.rs	15
checker/tests/run-pass/vec_get.rs	12
checker/tests/run-pass/vec_is_empty.rs	11
checker/tests/run-pass/vec_new.rs	5
checker/tests/run-pass/vec_new_macro.rs	5
checker/tests/run-pass/vec_pop.rs	2
checker/tests/run-pass/vec_push.rs	2
checker/tests/run-pass/vecdeque_drain.rs	2
checker/tests/run-pass/vecdeque_is_empty.rs	6
checker/tests/run-pass/vecdeque_pop_back.rs	2
checker/tests/run-pass/vecdeque_pop_front.rs	2
checker/tests/run-pass/vecdeque_push_back.rs	2
checker/tests/run-pass/vecdeque_push_front.rs	9
checker/tests/run-pass/verify_unreachable.rs	13
checker/tests/run-pass/virtual_call.rs	16
checker/tests/run-pass/weak_lookup.rs	26
checker/tests/run-pass/weak_update.rs	40
checker/tests/run-pass/weak_update_heap.rs	21
checker/tests/run-pass/weak_update_local.rs	17
checker/tests/run-pass/weak_update_parameter.rs	12
checker/tests/run-pass/weak_update_small_struct.rs	17
checker/tests/run-pass/while.rs	18
checker/tests/run-pass/widen_param.rs	19
checker/tests/run-pass/write_bytes.rs	85
checker/tests/run-pass/x_equals_x.rs	23