3484d727c3
This adds some tools helpful when debugging nondeterminism in analysis-stats: - a `--randomize` option that analyses everything in random order - a `-vv` option that prints even more detail Also add a debug log if Chalk fuel is exhausted (which would be a source of nondeterminism, but didn't happen in my tests). I found one source of nondeterminism (rust-lang/chalk#331), but there are still other cases remaining.
39 lines
1.0 KiB
TOML
39 lines
1.0 KiB
TOML
[workspace]
|
|
members = [ "crates/*", "xtask/" ]
|
|
|
|
[profile.dev]
|
|
# disabling debug info speeds up builds a bunch,
|
|
# and we don't rely on it for debugging that much.
|
|
debug = 0
|
|
|
|
[profile.release]
|
|
incremental = true
|
|
debug = 0 # set this to 1 or 2 to get more useful backtraces in debugger
|
|
|
|
# ideally, we would use `build-override` here, but some crates are also
|
|
# needed at run-time and we end up compiling them twice
|
|
[profile.release.package.proc-macro2]
|
|
opt-level = 0
|
|
[profile.release.package.quote]
|
|
opt-level = 0
|
|
[profile.release.package.syn]
|
|
opt-level = 0
|
|
[profile.release.package.serde_derive]
|
|
opt-level = 0
|
|
[profile.release.package.chalk-derive]
|
|
opt-level = 0
|
|
[profile.release.package.chalk-macros]
|
|
opt-level = 0
|
|
[profile.release.package.salsa-macros]
|
|
opt-level = 0
|
|
[profile.release.package.xtask]
|
|
opt-level = 0
|
|
|
|
[patch.'crates-io']
|
|
# rowan = { path = "../rowan" }
|
|
|
|
[patch.'https://github.com/rust-lang/chalk.git']
|
|
# chalk-solve = { path = "../chalk/chalk-solve" }
|
|
# chalk-rust-ir = { path = "../chalk/chalk-rust-ir" }
|
|
# chalk-ir = { path = "../chalk/chalk-ir" }
|