aprender-verify 0.31.1

# 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"
name = "aprender-verify"
version = "0.31.1"
authors = ["Pragmatic AI Labs Research Division"]
build = "build.rs"
exclude = [
    "tests/",
    "benches/",
    "docs/",
    ".github/",
    "book/",
    ".pmat/",
]
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "A scientific experiment into realistic provability with Rust - asymptotic test effectiveness framework"
documentation = "https://docs.rs/certeza"
readme = "README.md"
keywords = [
    "testing",
    "property-based",
    "mutation",
    "formal-verification",
    "quality",
]
categories = [
    "development-tools::testing",
    "development-tools::profiling",
]
license = "MIT"
repository = "https://github.com/paiml/certeza"

[package.metadata.release]
shared-version = true

[[package.metadata.release.pre-release-replacements]]
file = "CHANGELOG.md"
search = '## \[Unreleased\]'
replace = "## [{{version}}] - {{date}}"

[package.metadata.docs.rs]
all-features = true
rustdoc-args = ["--generate-link-to-definition"]

[features]
chaos-basic = []
chaos-byzantine = ["chaos-basic"]
chaos-full = [
    "chaos-network",
    "chaos-byzantine",
]
chaos-network = ["chaos-basic"]
default = []

[lib]
name = "certeza"
path = "src/lib.rs"

[[example]]
name = "quality_check"
path = "examples/quality_check.rs"

[dependencies.chrono]
version = "0.4"
features = ["serde"]

[dependencies.serde]
version = "1.0"
features = ["derive"]

[dependencies.serde_json]
version = "1.0"

[dependencies.sysinfo]
version = "0.30"

[dev-dependencies.criterion]
version = "0.5"
features = ["html_reports"]

[dev-dependencies.proptest]
version = "1.5"

[lints.clippy]
approx_constant = "allow"
assertions_on_constants = "allow"
assigning_clones = "allow"
bool_to_int_with_if = "allow"
cast_lossless = "allow"
cast_possible_truncation = "allow"
cast_possible_wrap = "allow"
cast_precision_loss = "allow"
cast_sign_loss = "allow"
checked_conversions = "warn"
clone_on_copy = "allow"
cloned_instead_of_copied = "allow"
cloned_ref_to_slice_refs = "allow"
const_is_empty = "allow"
default_constructed_unit_structs = "allow"
default_trait_access = "allow"
derivable_impls = "allow"
doc_markdown = "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 = "warn"
field_reassign_with_default = "allow"
float_cmp = "allow"
format_push_string = "allow"
identity_op = "allow"
if_not_else = "allow"
ignore_without_reason = "allow"
implicit_clone = "warn"
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_let_else = "allow"
manual_midpoint = "allow"
manual_ok_or = "warn"
manual_range_contains = "allow"
many_single_char_names = "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_pass_by_value = "allow"
needless_range_loop = "allow"
needless_raw_string_hashes = "allow"
no_effect_underscore_binding = "allow"
nonminimal_bool = "allow"
overly_complex_bool_expr = "allow"
print_literal = "allow"
ptr_arg = "allow"
redundant_closure_for_method_calls = "allow"
redundant_guards = "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"
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_self = "allow"
used_underscore_binding = "warn"
useless_vec = "allow"
vec_init_then_push = "allow"

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

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

[lints.rust]
missing_debug_implementations = "allow"
missing_docs = "allow"
trivial_casts = "warn"
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"))',
]

[profile.bench]
lto = true

[profile.dev]
panic = "abort"

[profile.release]
lto = true
codegen-units = 1
panic = "abort"

[profile.test]
opt-level = 1