-
Notifications
You must be signed in to change notification settings - Fork 0
/
Cargo.toml
25 lines (21 loc) · 879 Bytes
/
Cargo.toml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
[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 <[email protected]>"]
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.13.3"
[dev-dependencies]
galvanic-assert = "0.8.3"
scan-rules = "0.2.0"
skeptic = "0.13.3"