Skip to content

Commit 94d522e

Browse files
committed
samples/*: add missing linter config to Cargo.toml
Signed-off-by: Jinghao Jia <jinghao7@illinois.edu>
1 parent 7156aec commit 94d522e

File tree

14 files changed

+147
-7
lines changed

14 files changed

+147
-7
lines changed

samples/atomic/Cargo.toml

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,16 @@ edition = "2024"
1010
[dependencies.rex]
1111
path = "../../rex"
1212

13+
[lints.clippy]
14+
disallowed_methods = "forbid"
15+
disallowed_types = "forbid"
16+
17+
[lints.rust]
18+
incomplete_features = "forbid"
19+
internal_features = "forbid"
20+
unsafe_code = "forbid"
21+
unstable_features = "forbid"
22+
1323
[profile.dev]
1424
panic = "abort"
1525
debug = false

samples/bmc/Cargo.toml

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,16 @@ edition = "2024"
1010
[dependencies.rex]
1111
path = "../../rex"
1212

13+
[lints.clippy]
14+
disallowed_methods = "forbid"
15+
disallowed_types = "forbid"
16+
17+
[lints.rust]
18+
incomplete_features = "forbid"
19+
internal_features = "forbid"
20+
unsafe_code = "forbid"
21+
unstable_features = "forbid"
22+
1323
[profile.dev]
1424
panic = "abort"
1525
debug = false

samples/error_injector/Cargo.toml

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,16 @@ edition = "2024"
1010
[dependencies.rex]
1111
path = "../../rex"
1212

13+
[lints.clippy]
14+
disallowed_methods = "forbid"
15+
disallowed_types = "forbid"
16+
17+
[lints.rust]
18+
incomplete_features = "forbid"
19+
internal_features = "forbid"
20+
unsafe_code = "forbid"
21+
unstable_features = "forbid"
22+
1323
[profile.dev]
1424
panic = "abort"
1525
debug = false

samples/map_bench/Cargo.toml

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,16 @@ edition = "2024"
1010
[dependencies.rex]
1111
path = "../../rex"
1212

13+
[lints.clippy]
14+
disallowed_methods = "forbid"
15+
disallowed_types = "forbid"
16+
17+
[lints.rust]
18+
incomplete_features = "forbid"
19+
internal_features = "forbid"
20+
unsafe_code = "forbid"
21+
unstable_features = "forbid"
22+
1323
[profile.dev]
1424
panic = "abort"
1525
debug = false

samples/map_test/Cargo.toml

Lines changed: 11 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,11 +10,21 @@ edition = "2024"
1010
[dependencies.rex]
1111
path = "../../rex"
1212

13+
[lints.clippy]
14+
disallowed_methods = "forbid"
15+
disallowed_types = "forbid"
16+
17+
[lints.rust]
18+
incomplete_features = "forbid"
19+
internal_features = "forbid"
20+
unsafe_code = "forbid"
21+
unstable_features = "forbid"
22+
1323
[profile.dev]
1424
panic = "abort"
1525
debug = false
1626

1727
[profile.release]
1828
panic = "abort"
1929
debug = false
20-
lto = true
30+
lto = true

samples/map_test_2/Cargo.toml

Lines changed: 11 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,11 +10,21 @@ edition = "2024"
1010
[dependencies.rex]
1111
path = "../../rex"
1212

13+
[lints.clippy]
14+
disallowed_methods = "forbid"
15+
disallowed_types = "forbid"
16+
17+
[lints.rust]
18+
incomplete_features = "forbid"
19+
internal_features = "forbid"
20+
unsafe_code = "forbid"
21+
unstable_features = "forbid"
22+
1323
[profile.dev]
1424
panic = "abort"
1525
debug = false
1626

1727
[profile.release]
1828
panic = "abort"
1929
debug = false
20-
lto = true
30+
lto = true

samples/recursive/Cargo.toml

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,16 @@ edition = "2024"
1010
[dependencies.rex]
1111
path = "../../rex"
1212

13+
[lints.clippy]
14+
disallowed_methods = "forbid"
15+
disallowed_types = "forbid"
16+
17+
[lints.rust]
18+
incomplete_features = "forbid"
19+
internal_features = "forbid"
20+
unsafe_code = "forbid"
21+
unstable_features = "forbid"
22+
1323
[profile.dev]
1424
panic = "abort"
1525
debug = false

samples/spinlock_cleanup_benchmark/Cargo.toml

Lines changed: 11 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,11 +10,21 @@ edition = "2024"
1010
[dependencies.rex]
1111
path = "../../rex"
1212

13+
[lints.clippy]
14+
disallowed_methods = "forbid"
15+
disallowed_types = "forbid"
16+
17+
[lints.rust]
18+
incomplete_features = "forbid"
19+
internal_features = "forbid"
20+
unsafe_code = "forbid"
21+
unstable_features = "forbid"
22+
1323
[profile.dev]
1424
panic = "abort"
1525
debug = false
1626

1727
[profile.release]
1828
panic = "abort"
1929
debug = false
20-
lto = true
30+
lto = true

samples/spinlock_test/Cargo.toml

Lines changed: 11 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,11 +10,21 @@ edition = "2024"
1010
[dependencies.rex]
1111
path = "../../rex"
1212

13+
[lints.clippy]
14+
disallowed_methods = "forbid"
15+
disallowed_types = "forbid"
16+
17+
[lints.rust]
18+
incomplete_features = "forbid"
19+
internal_features = "forbid"
20+
unsafe_code = "forbid"
21+
unstable_features = "forbid"
22+
1323
[profile.dev]
1424
panic = "abort"
1525
debug = false
1626

1727
[profile.release]
1828
panic = "abort"
1929
debug = false
20-
lto = true
30+
lto = true

samples/startup_overhead_benchmark/Cargo.toml

Lines changed: 11 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,11 +10,21 @@ edition = "2024"
1010
[dependencies.rex]
1111
path = "../../rex"
1212

13+
[lints.clippy]
14+
disallowed_methods = "forbid"
15+
disallowed_types = "forbid"
16+
17+
[lints.rust]
18+
incomplete_features = "forbid"
19+
internal_features = "forbid"
20+
unsafe_code = "forbid"
21+
unstable_features = "forbid"
22+
1323
[profile.dev]
1424
panic = "abort"
1525
debug = false
1626

1727
[profile.release]
1828
panic = "abort"
1929
debug = false
20-
lto = true
30+
lto = true

0 commit comments

Comments
 (0)