blob: 4901b85202a691375f969bcfcecc8cfc03874610 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
|
[workspace]
members = [
"crates/*"
]
resolver = "3"
[workspace.dependencies]
# Used to remove indexing checks and to reduce the degree to which code
# may be misused.
generativity = "1"
# Used to test some code for greater quality assurance.
proptest = "1"
# Used to make more thorough tests using `proptest`
proptest-state-machine = "0.6"
[workspace.lints.rust]
missing_docs = "deny"
trivial_casts = "deny"
trivial_numeric_casts = "deny"
[workspace.lints.rust.unexpected_cfgs]
level = "warn"
# Kani will trigger this lint otherwise
check-cfg = ['cfg(kani)']
[workspace.lints.rustdoc]
broken_intra_doc_links = "deny"
[workspace.lints.clippy]
cargo_common_metadata = "warn"
dbg_macro = "warn"
needless_pass_by_ref_mut = "warn"
needless_pass_by_value = "warn"
print_stderr = "warn"
print_stdout = "warn"
todo = "warn"
unimplemented = "warn"
unreachable = "warn"
arithmetic_side_effects = "deny"
await_holding_lock = "deny"
cast_lossless = "deny"
cast_possible_truncation = "deny"
clone_on_ref_ptr = "deny"
default_trait_access = "deny"
doc_markdown = "deny"
empty_enums = "deny"
enum_glob_use = "deny"
exit = "deny"
expect_used = "deny"
explicit_deref_methods = "deny"
explicit_into_iter_loop = "deny"
explicit_iter_loop = "deny"
fallible_impl_from = "deny"
filetype_is_file = "deny"
float_cmp = "deny"
float_cmp_const = "deny"
fn_params_excessive_bools = "deny"
imprecise_flops = "deny"
indexing_slicing = "deny"
inefficient_to_string = "deny"
infinite_iter = "deny"
large_digit_groups = "deny"
large_stack_arrays = "deny"
manual_filter_map = "deny"
match_like_matches_macro = "deny"
missing_errors_doc = "deny"
missing_safety_doc = "deny"
must_use_candidate = "deny"
mut_mut = "deny"
option_option = "deny"
panic = "deny"
panic_in_result_fn = "deny"
redundant_clone = "deny"
redundant_else = "deny"
rest_pat_in_fully_bound_structs = "deny"
single_match_else = "deny"
implicit_clone = "deny"
undocumented_unsafe_blocks = "deny"
unneeded_field_pattern = "deny"
unused_self = "deny"
unwrap_used = "deny"
wildcard_dependencies = "deny"
wildcard_enum_match_arm = "deny"
wildcard_imports = "deny"
[profile.release]
opt-level = 3
codegen-units = 1
debug = false
strip = "symbols"
panic = "abort"
lto = "thin"
[profile.release-profile]
inherits = "release"
debug = true
strip = false
|
