-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathx.toml
124 lines (108 loc) · 3.43 KB
/
x.toml
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
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
[system-tests]
testsuite = { path = "testsuite" }
[cargo]
toolchain = "nightly-2020-07-08"
flags = "-Zfeatures=all"
[fix]
[clippy]
allowed = [
# Deriving Arbitrary often causes this warning to show up.
"clippy::unit_arg",
# Known to have false positive at the moment,
"clippy::mutable_key_type",
"clippy::eval-order-dependence",
]
# This follows the same syntax as CargoOptionsSummary in guppy.
[summaries.default]
version = "v2"
include-dev = false
proc-macros-on-target = false
[summaries.default.target-platform]
triple = "x86_64-unknown-linux-gnu"
target-features = "all"
[summaries.default.host-platform]
triple = "x86_64-unknown-linux-gnu"
target-features = "all"
[[summaries.default.omitted-packages]]
name = "libra-workspace-hack"
version = "0.1.0"
workspace-path = "common/workspace-hack"
[summaries.full]
version = "v2"
include-dev = true
proc-macros-on-target = false
# Don't set target or host platforms, or omitted packages, for the full set.
[workspace.enforced-attributes]
authors = ["Libra Association <[email protected]>"]
license = "Apache-2.0"
[workspace.banned-deps.direct]
lazy_static = "use once_cell::sync::Lazy instead"
[workspace.banned-deps.default-build]
criterion = "criterion is only for benchmarks"
proptest = "proptest is only for testing and fuzzing"
# This is a list of test-only members. These are workspace members that do not form part of the main
# Libra production codebase, and are only used to verify correctness and/or performance.
#
# *** IMPORTANT ***
#
# Published developer tools (e.g. Move compiler) ARE part of the production Libra codebase.
# They should be listed in the root Cargo.toml's default-members, not here!
#
# Before adding a new crate to this list, ensure that it is *actually* test-only. If not, add it
# (or a crate that depends on it) to the root Cargo.toml's default-members list!
#
# For more, see the "Conditional compilation for tests" section in documentation/coding_guidelines.md.
[workspace.test-only]
members = [
"common/libradoc",
"common/proptest-helpers",
"common/retrier",
"common/workspace-builder",
"devtools/x",
"devtools/x-core",
"devtools/x-lint",
"execution/executor-benchmark",
"execution/executor-test-helpers",
"language/benchmarks",
"language/bytecode-verifier/bytecode-verifier-tests",
"language/bytecode-verifier/invalid-mutations",
"language/e2e-tests",
"language/functional-tests",
"language/ir-testsuite",
"language/move-lang/functional-tests",
"language/move-prover/test-utils",
"language/tools/test-generation",
"language/tools/utils",
"language/vm/serializer-tests",
"network/memsocket",
"network/socket-bench-server",
"testsuite",
"testsuite/cluster-test",
"testsuite/generate-format",
"testsuite/libra-fuzzer",
"testsuite/libra-fuzzer/fuzz",
"testsuite/libra-swarm",
]
# Interesting subsets of the workspace, These are used for generating and
# checking dependency summaries.
[workspace.subsets.lsr]
# The Libra safety rules TCB.
members = [
"consensus/safety-rules",
]
[workspace.subsets.lec]
# The Libra execution correctness TCB.
members = [
"execution/execution-correctness",
]
[workspace.subsets.release]
# The Libra release binaries
members = [
"config/config-builder",
"config/management/genesis",
"consensus/safety-rules",
"execution/db-bootstrapper",
"libra-node",
"secure/key-manager",
"storage/backup/backup-cli",
]