r2smt-cli 0.1.1

Command-line entrypoint for r2SMT.
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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42

[package]
name         = "r2smt-cli"
version.workspace      = true
edition.workspace      = true
license.workspace      = true
repository.workspace   = true
authors.workspace      = true
rust-version.workspace = true
description = "Command-line entrypoint for r2SMT."

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

[lints]
workspace = true

[dependencies]
r2smt-common       = { workspace = true }
r2smt-ir           = { workspace = true }
r2smt-r2pipe       = { workspace = true }
r2smt-slicer       = { workspace = true }
r2smt-ssa          = { workspace = true }
r2smt-solver-port  = { workspace = true }
r2smt-smt          = { workspace = true }
r2smt-core         = { workspace = true }
r2smt-report       = { workspace = true }
r2smt-patch        = { workspace = true }
r2smt-difflift     = { workspace = true }
r2smt-explore      = { workspace = true }
r2smt-taint        = { workspace = true }
clap               = { workspace = true }
anyhow             = { workspace = true }
rayon              = { workspace = true }
tracing            = { workspace = true }
tracing-subscriber = { workspace = true }
serde              = { workspace = true }
serde_json         = { workspace = true }

[dev-dependencies]
tempfile           = { workspace = true }
serde_json         = { workspace = true }