Cargo.lock

# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
[[package]]
name = "cfg-if"
version = "0.1.6"
source = "registry+https://github.com/rust-lang/crates.io-index"

[[package]]
name = "lazy_static"
version = "1.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"

[[package]]
name = "log"
version = "0.4.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
dependencies = [
 "cfg-if 0.1.6 (registry+https://github.com/rust-lang/crates.io-index)",
]

[[package]]
name = "symex"
version = "0.1.0"
dependencies = [
 "z3 0.3.2 (git+https://github.com/prove-rs/z3.rs.git)",
]

[[package]]
name = "z3"
version = "0.3.2"
source = "git+https://github.com/prove-rs/z3.rs.git#764604880138a3ee882d335faf6ebde96f541c93"
dependencies = [
 "lazy_static 1.2.0 (registry+https://github.com/rust-lang/crates.io-index)",
 "log 0.4.6 (registry+https://github.com/rust-lang/crates.io-index)",
 "z3-sys 0.4.0 (git+https://github.com/prove-rs/z3.rs.git)",
]

[[package]]
name = "z3-sys"
version = "0.4.0"
source = "git+https://github.com/prove-rs/z3.rs.git#764604880138a3ee882d335faf6ebde96f541c93"

[metadata]
"checksum cfg-if 0.1.6 (registry+https://github.com/rust-lang/crates.io-index)" = "082bb9b28e00d3c9d39cc03e64ce4cea0f1bb9b3fde493f0cbc008472d22bdf4"
"checksum lazy_static 1.2.0 (registry+https://github.com/rust-lang/crates.io-index)" = "a374c89b9db55895453a74c1e38861d9deec0b01b405a82516e9d5de4820dea1"
"checksum log 0.4.6 (registry+https://github.com/rust-lang/crates.io-index)" = "c84ec4b527950aa83a329754b01dbe3f58361d1c5efacd1f6d68c494d08a17c6"
"checksum z3 0.3.2 (git+https://github.com/prove-rs/z3.rs.git)" = "<none>"
"checksum z3-sys 0.4.0 (git+https://github.com/prove-rs/z3.rs.git)" = "<none>"