percolator/Cargo.toml at master · aeyakovenko/percolator · 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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
[package]
name = "percolator"
version = "0.1.1"
edition = "2021"
license = "Apache-2.0"

[lib]
name = "percolator"
path = "src/lib.rs"

[dependencies]
bytemuck = { version = "1.23", default-features = false, features = ["derive"] }

[dev-dependencies]
proptest = "1.4"

[features]
default = []
stress = []  # Reserved for stress/audit harnesses
fuzz = []  # Enable fuzzing tests over the production zero-copy view path.
audit-scan = []  # Enable full account-table invariant scans on public exits
closure = []  # Kani inductive-closure layer (plain proofs, no -Z needed); see scripts/contracts_runner.sh
contracts = []  # Kani function-contract layer; build with: cargo kani -Z function-contracts --features fuzz,contracts (see scripts/contracts_runner.sh)

[profile.release]
lto = "fat"
codegen-units = 1
opt-level = 3
overflow-checks = true

[profile.sbf]
inherits = "release"
panic = "abort"

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

[workspace.metadata.kani]
flags = { tests = true }
unstable = { stubbing = true }

[[workspace.metadata.kani.proof]]
harness = ".*"
unwind = 70

[[test]]
name = "v16_spec_tests"
path = "tests/v16_spec_tests.rs"

[[test]]
name = "v16_fuzzing"
path = "tests/v16_fuzzing.rs"
required-features = ["fuzz"]

[[test]]
name = "rounding_residue_fuzz"
path = "tests/rounding_residue_fuzz.rs"
required-features = ["fuzz"]

[[test]]
name = "reference_model_conformance"
path = "tests/reference_model_conformance.rs"
required-features = ["fuzz"]