Cargo.toml

# SPDX-License-Identifier: GPL-3.0-only
[package]
name = "map2check-library"
version = "2.0.0-rc.1"
edition = "2021"
description = "Rust library to support Map2Check tool: tracks memory, basic blocks, and nondeterministic values, and checks safety properties"
license = "GPL-3.0-only"
authors = ["Herbert Rocha <herberthb12@gmail.com>"]

[lib]
name = "map2check"
crate-type = ["staticlib", "rlib"]
path = "rust/src/lib.rs"

[dependencies]
serde = { version = "1", features = ["derive"] }
serde_json = "1"

[dev-dependencies]
mockall = "0.13"
tempfile = "3"

[features]
# The wasm2c runtime of Map2Check's `--wasm` mode (D2): the `__m2c_rt_wasm_*`
# core entry points that `WasmRuntimeStubs.bc` forwards to.
wasm = []
# The `dropin` feature (the drop-in core) lives in klee/Cargo.toml, the
# manifest of the rustc 1.72.1 bitcode build (D1, route A'): its
# map2check_init calls the analysis_init and nondet_init of the IR modules,
# which no host build links.

[lints.rust]
unexpected_cfgs = { level = "warn", check-cfg = ['cfg(feature, values("dropin"))'] }

[profile.release]
opt-level = 3
lto = true
codegen-units = 1

[profile.dev]
opt-level = 0
debug = true

# Unwind e não abort: ffi_guard (rust/src/ffi.rs) recupera panics com
# catch_unwind, e um abort sob AFL++ persistente pareceria crash do programa
# analisado. O build KLEE usa panic = "abort" separadamente.
[profile.runtime]
inherits = "release"
panic = "unwind"

[build-dependencies]
cbindgen = { version = "0.28.0", default-features = false }