Sanctifier/Cargo.toml at main · anuoluwaponiorimi/Sanctifier · GitHub

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
43
44
45
46
47
48
[workspace]
members = [
    "tooling/sanctifier-core",
    "tooling/sanctifier-cli",
    "tooling/sanctifier-detector",
    "tooling/sanctifier-wasm",
    "contracts/security-disclaimers",
    "contracts/vulnerable-contract",
    "contracts/token-with-bugs",
    "contracts/amm-pool",
    "contracts/governance",
    "contracts/multisig",
    "contracts/timelock",
    "contracts/reentrancy-guard",
    "contracts/runtime-guard-wrapper",
    "contracts/kani-poc",
    "contracts/my-contract",
    "contracts/flashloan-token",
    "contracts/proxy",
    "contracts/vesting",
    "contracts/benchmark",
    "contracts/deposit-withdraw",

]
resolver = "2"

[workspace.dependencies]
soroban-sdk = { version = "21.7.0" }

[workspace.package]
rust-version = "1.78"

[workspace.lints.rust]
unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] }

[profile.release]
opt-level = "z"
overflow-checks = true
debug = 0
strip = "symbols"
debug-assertions = false
panic = "abort"
lto = true
codegen-units = 1

[profile.release-with-logs]
inherits = "release"
debug-assertions = true