# THIS FILE IS AUTOMATICALLY GENERATED BY CARGO
#
# When uploading crates to the registry Cargo will automatically
# "normalize" Cargo.toml files for maximal compatibility
# with all versions of Cargo and also rewrite `path` dependencies
# to registry (e.g., crates.io) dependencies.
#
# If you are reading this file be aware that the original Cargo.toml
# will likely look very different (and much more reasonable).
# See Cargo.toml.orig for the original contents.

[package]
edition = "2021"
rust-version = "1.89"
name = "aprender-contracts-cli"
version = "0.35.0"
authors = ["Noah Gift <noah@paiml.com>"]
build = false
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "CLI for provable-contracts — validate, scaffold, verify, status, audit"
readme = "README.md"
license = "MIT"
repository = "https://github.com/paiml/aprender"

[[bin]]
name = "pv"
path = "src/main.rs"

[[test]]
name = "book_coverage"
path = "tests/book_coverage.rs"

[[test]]
name = "cli_integration"
path = "tests/cli_integration.rs"

[[test]]
name = "ground_truth"
path = "tests/ground_truth.rs"

[dependencies.aprender-contracts]
version = "0.35.0"

[dependencies.clap]
version = "4.5"
features = ["derive"]

[dependencies.serde_json]
version = "1.0"

[dependencies.serde_yaml]
version = "0.9"

[dev-dependencies.tempfile]
version = "3"

[lints.clippy]
approx_constant = "allow"
assertions_on_constants = "allow"
assigning_clones = "allow"
bool_to_int_with_if = "allow"
case_sensitive_file_extension_comparisons = "allow"
cast_lossless = "allow"
cast_possible_truncation = "allow"
cast_possible_wrap = "allow"
cast_precision_loss = "allow"
cast_ptr_alignment = "allow"
cast_sign_loss = "allow"
checked_conversions = "warn"
clone_on_copy = "allow"
cloned_instead_of_copied = "allow"
cloned_ref_to_slice_refs = "allow"
comparison_chain = "allow"
const_is_empty = "allow"
default_constructed_unit_structs = "allow"
default_trait_access = "allow"
derivable_impls = "allow"
doc_link_with_quotes = "allow"
doc_markdown = "allow"
doc_overindented_list_items = "allow"
duplicated_attributes = "allow"
empty_line_after_doc_comments = "allow"
empty_line_after_outer_attr = "allow"
erasing_op = "allow"
excessive_precision = "allow"
explicit_deref_methods = "warn"
explicit_iter_loop = "allow"
field_reassign_with_default = "allow"
float_cmp = "allow"
fn_params_excessive_bools = "allow"
for_kv_map = "allow"
format_collect = "allow"
format_in_format_args = "allow"
format_push_string = "allow"
identity_op = "allow"
if_not_else = "allow"
ignore_without_reason = "allow"
implicit_clone = "allow"
implicit_hasher = "allow"
inconsistent_struct_constructor = "warn"
index_refutable_slice = "allow"
inefficient_to_string = "allow"
items_after_statements = "allow"
iter_cloned_collect = "allow"
large_stack_arrays = "allow"
len_zero = "allow"
manual_contains = "allow"
manual_div_ceil = "allow"
manual_is_multiple_of = "allow"
manual_let_else = "allow"
manual_midpoint = "allow"
manual_ok_or = "warn"
manual_range_contains = "allow"
manual_string_new = "allow"
many_single_char_names = "allow"
map_flatten = "allow"
map_unwrap_or = "allow"
match_same_arms = "allow"
match_wildcard_for_single_variants = "allow"
missing_const_for_fn = "allow"
missing_errors_doc = "allow"
missing_fields_in_debug = "allow"
missing_panics_doc = "allow"
module_name_repetitions = "allow"
must_use_candidate = "allow"
needless_borrows_for_generic_args = "allow"
needless_continue = "allow"
needless_pass_by_value = "allow"
needless_range_loop = "allow"
needless_raw_string_hashes = "allow"
no_effect_underscore_binding = "allow"
nonminimal_bool = "allow"
option_option = "allow"
overly_complex_bool_expr = "allow"
print_literal = "allow"
ptr_arg = "allow"
redundant_closure_for_method_calls = "allow"
redundant_guards = "allow"
ref_option = "allow"
return_self_not_must_use = "allow"
semicolon_if_nothing_returned = "allow"
similar_names = "allow"
single_char_pattern = "allow"
single_match_else = "allow"
stable_sort_primitive = "allow"
struct_excessive_bools = "allow"
struct_field_names = "allow"
too_many_arguments = "allow"
too_many_lines = "allow"
trivially_copy_pass_by_ref = "allow"
type_complexity = "allow"
uninlined_format_args = "allow"
unnecessary_debug_formatting = "allow"
unnecessary_literal_bound = "allow"
unnecessary_literal_unwrap = "allow"
unnecessary_map_or = "allow"
unnecessary_wraps = "allow"
unnested_or_patterns = "warn"
unreadable_literal = "allow"
unused_async = "allow"
unused_self = "allow"
used_underscore_binding = "allow"
useless_conversion = "allow"
useless_vec = "allow"
vec_init_then_push = "allow"
wildcard_imports = "allow"

[lints.clippy.all]
level = "warn"
priority = -1

[lints.clippy.pedantic]
level = "warn"
priority = -1

[lints.rust]
elided_lifetimes_in_paths = "allow"
missing_debug_implementations = "allow"
missing_docs = "allow"
trivial_casts = "allow"
trivial_numeric_casts = "warn"
unreachable_pub = "allow"
unsafe_code = "deny"
unsafe_op_in_unsafe_fn = "warn"
unused_import_braces = "warn"
unused_lifetimes = "warn"
unused_qualifications = "allow"

[lints.rust.rust_2018_idioms]
level = "warn"
priority = -1

[lints.rust.unexpected_cfgs]
level = "warn"
priority = 0
check-cfg = [
    "cfg(kani)",
    "cfg(coverage_nightly)",
    'cfg(feature, values("explainable-monitor-integration"))',
]
