Path	Lines of Code
Cargo.toml	16
annotations/Cargo.toml	13
annotations/src/lib.rs	892
checker/Cargo.toml	56
checker/Cargo.windows.toml	56
checker/build.rs	5
checker/src/abstract_value.rs	6125
checker/src/block_visitor.rs	3209
checker/src/body_visitor.rs	2612
checker/src/bool_domain.rs	44
checker/src/call_graph.rs	842
checker/src/call_visitor.rs	2747
checker/src/callbacks.rs	139
checker/src/cargo_mirai.rs	191
checker/src/constant_domain.rs	1177
checker/src/crate_visitor.rs	238
checker/src/environment.rs	31
checker/src/expected_errors.rs	80
checker/src/expression.rs	1355
checker/src/fixed_point_visitor.rs	329
checker/src/interval_domain.rs	352
checker/src/k_limits.rs	6
checker/src/known_names.rs	436
checker/src/lib.rs	65
checker/src/main.rs	102
checker/src/options.rs	177
checker/src/path.rs	1148
checker/src/smt_solver.rs	57
checker/src/summaries.rs	484
checker/src/tag_domain.rs	174
checker/src/type_visitor.rs	1169
checker/src/utils.rs	442
checker/src/z3_solver.rs	2017
include/z3++.h	3074
include/z3.h	14
include/z3_algebraic.h	28
include/z3_api.h	1088
include/z3_ast_containers.h	28
include/z3_fixedpoint.h	74
include/z3_fpa.h	87
include/z3_macros.h	13
include/z3_optimization.h	41
include/z3_polynomial.h	8
include/z3_rcf.h	30
include/z3_spacer.h	34
include/z3_v1.h	38
include/z3_version.h	5
standard_contracts/Cargo.toml	14
standard_contracts/src/foreign_contracts.rs	4355
standard_contracts/src/lib.rs	16
standard_contracts/src/macros.rs	221