# 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 believe there's an error in this file please file an
# issue against the rust-lang/cargo repository. If you're
# editing this file be aware that the upstream Cargo.toml
# will likely look very different (and much more reasonable)

[package]
edition = "2018"
name = "monster-rs"
version = "0.4.1"
authors = ["Alexander Lackner <monster@a.lfweb.org>", "Alexander Linz <linzalexander@gmail.com>", "Christian Mösl <christian.moesl@live.at>", "Fabian Nedoluha <monster@onders.org>", "Michael Starzinger <michael.starzinger@antforge.org>"]
description = "Monster is a symbolic execution engine for 64-bit RISC-U code"
homepage = "https://cksystemsgroup.github.io/monster"
documentation = "https://docs.rs/monster"
keywords = ["monster", "riscv", "riscu", "symbolic-execution", "smt"]
categories = ["command-line-utilities", "development-tools::testing", "science", "simulation"]
license = "MIT"
repository = "https://github.com/cksystemsgroup/monster"

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

[[bin]]
name = "monster"
path = "src/main.rs"

[[bench]]
name = "engine"
harness = false

[[bench]]
name = "path_exploration"
harness = false
required-features = ["z3"]
[dependencies.anyhow]
version = "~1.0"

[dependencies.boolector-solver]
version = "~0.4"
features = ["vendor-lgl"]
optional = true
package = "boolector"

[dependencies.boolector-sys]
version = "~0"
features = ["vendor-lgl"]
optional = true

[dependencies.byteorder]
version = "~1.4"

[dependencies.bytesize]
version = "~1.0"

[dependencies.clap]
version = "~2.33"

[dependencies.const_format]
version = "~0.2"

[dependencies.divisors]
version = "~0.2"

[dependencies.env_logger]
version = "~0.8"

[dependencies.itertools]
version = "~0.10"

[dependencies.lazy_static]
version = "~1.4"

[dependencies.libc]
version = "~0"

[dependencies.log]
version = "~0.4"

[dependencies.modinverse]
version = "~0.1"

[dependencies.petgraph]
version = "~0.5"

[dependencies.rand]
version = "~0.8"

[dependencies.riscu]
version = "~0.5"

[dependencies.strum]
version = "~0.21"
features = ["derive"]

[dependencies.thiserror]
version = "~1.0"

[dependencies.z3-solver]
version = "~0.10"
features = ["static-link-z3"]
optional = true
package = "z3"

[dependencies.z3-sys]
version = "~0"
features = ["static-link-z3"]
optional = true
[dev-dependencies.cargo-husky]
version = "1"
features = ["user-hooks"]
default-features = false

[dev-dependencies.criterion]
version = "~0.3"
features = ["html_reports", "cargo_bench_support", "csv_output"]

[dev-dependencies.rayon]
version = "~1.5"

[dev-dependencies.tempfile]
version = "~3.2"

[features]
boolector = ["boolector-solver", "boolector-sys"]
default = []
z3 = ["z3-solver", "z3-sys"]