[package]
edition = "2021"
rust-version = "1.80"
name = "adya"
version = "0.1.0"
build = false
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "Black-box transactional isolation checker: finds G0, G1, G-single, G2 and friends in database histories. A native, JVM-free take on Jepsen's Elle."
readme = "README.md"
keywords = [
"database",
"isolation",
"jepsen",
"testing",
"serializability",
]
categories = [
"development-tools::testing",
"database",
]
license = "MIT OR Apache-2.0"
repository = "https://github.com/zaydmulani09/adya"
[features]
default = [
"sqlite",
"postgres",
"mysql",
]
mysql = ["dep:mysql"]
postgres = ["dep:postgres"]
sqlite = ["dep:rusqlite"]
[lib]
name = "adya"
path = "src/lib.rs"
[[bin]]
name = "adya"
path = "src/main.rs"
[[test]]
name = "sim"
path = "tests/sim.rs"
[dependencies.clap]
version = "4.5.61"
features = ["derive"]
[dependencies.mysql]
version = "28"
features = ["minimal-rust"]
optional = true
default-features = false
[dependencies.postgres]
version = "0.19.10"
optional = true
[dependencies.rusqlite]
version = "0.40.2"
features = ["bundled"]
optional = true
[dependencies.serde]
version = "1"
features = ["derive"]
[dependencies.serde_json]
version = "1"