[package]
name = "contracts-try"
version = "0.7.0"
authors = ["karroffel <therzog@mail.de>"]
edition = "2021"
repository = "https://codeberg.org/topola/contracts-try"
license = "MPL-2.0"
readme = "README.md"
categories = [
    "development-tools",
    "development-tools::procedural-macro-helpers",
]
keywords = [
    "design-by-contract",
    "precondition",
    "postcondition",
    "invariant",
    "verification",
]
documentation = "https://docs.rs/contracts"
description = "Design-by-contract attributes"

[badges]
codeberg = { repository = "topola/contracts-try", branch = "main" }

[lib]
name = "contracts_try"
path = "src/lib.rs"
proc-macro = true

[features]
disable_contracts = []
override_debug = []
override_log = []
mirai_assertions = []

[dependencies]
syn = { version = "2.0", features = ["extra-traits", "full", "visit", "visit-mut"] }
quote = "1.0"
proc-macro2 = "1.0"