[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