c415b4d5f6
* 0.13 * z3 * capstone * fixer --------- Co-authored-by: Dominik Maier <domenukk@gmail.com>
24 lines
646 B
TOML
24 lines
646 B
TOML
[package]
|
|
name = "example_runtime"
|
|
version = "0.13.0"
|
|
edition = "2021"
|
|
authors = ["Julius Hohnerlein <julihoh@users.noreply.github.com>"]
|
|
|
|
[lib]
|
|
# the runtime needs to be a shared object -> cdylib
|
|
crate-type = ["cdylib"]
|
|
# this is necessary for SymCC to find the runtime.
|
|
name = "SymRuntime"
|
|
|
|
[profile.release]
|
|
lto = true
|
|
codegen-units = 1
|
|
opt-level = 3
|
|
# this is somewhat important to ensure the runtime does not unwind into the target program.
|
|
panic = "abort"
|
|
|
|
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
|
|
|
[dependencies]
|
|
symcc_runtime = { path = "../../../libafl_concolic/symcc_runtime" }
|