mirror of
https://github.com/d0zingcat/ore.git
synced 2026-05-13 23:16:52 +00:00
18 lines
255 B
TOML
18 lines
255 B
TOML
[workspace]
|
|
members = [
|
|
"programs/*"
|
|
]
|
|
|
|
# [package.metadata.kani.flags]
|
|
# default-unwind = 1
|
|
|
|
[profile.release]
|
|
overflow-checks = true
|
|
lto = "fat"
|
|
codegen-units = 1
|
|
|
|
[profile.release.build-override]
|
|
opt-level = 3
|
|
incremental = false
|
|
codegen-units = 1
|