[package]
name = "adhesion"
description = "A set of macros for design by contact in Rust. The design of this library was inspired by D's contract programming facilities."
version = "0.5.0"  # remember to update html_root_url
authors = ["Erich Gubler <erichdongubler@gmail.com>"]

categories = ["algorithms", "development-tools::testing", "rust-patterns"]
documentation = "https://docs.rs/adhesion"
include = ["**/*.rs", "Cargo.toml", "README.md", "README.md.skt.md", "LICENSE-MIT"]
keywords = ["contract", "design", "invariant"]
license = "MIT"
readme = "README.md"
repository = "https://github.com/ErichDonGubler/adhesion-rs"

[badges]
appveyor = { repository = "ErichDonGubler/adhesion-rs" }
travis-ci = { repository = "ErichDonGubler/adhesion-rs" }

[build-dependencies]
skeptic = "0.10.0"

[dev-dependencies]
galvanic-assert = "0.8.3"
scan-rules = "0.2.0"
skeptic = "0.10.0"