1 files changed, 71 insertions, 1 deletions
diff --git a/Cargo.toml b/Cargo.toml
index 1b50de4..4901b85 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -13,7 +13,77 @@ generativity = "1"
 proptest = "1"
 
 # Used to make more thorough tests using `proptest`
-proptest-state-machine = "0.4"
+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