diff options
| author | Wilco Kusee <wilcokusee@gmail.com> | 2022-12-05 18:13:11 +0100 |
|---|---|---|
| committer | Wilco Kusee <wilcokusee@gmail.com> | 2022-12-05 18:13:11 +0100 |
| commit | a75bffc7295bcd6907bdb200b807e665ddac688b (patch) | |
| tree | d4228e40af61dde07a8cddbd66fd75d72c6ae715 /tests/rustdoc-ui/coverage/doc-examples.rs | |
| parent | fc627e637bdeecdb5e502b93f6923109e2d10cb5 (diff) | |
| download | rust-a75bffc7295bcd6907bdb200b807e665ddac688b.tar.gz rust-a75bffc7295bcd6907bdb200b807e665ddac688b.zip | |
Increase Chalk fuel from 100 to 1000
The old value was for the old chalk-engine solver, nowadays the newer chalk-recursive solver is used. The new solver currently uses fuel a bit more quickly, so a higher value is needed. Running analysis-stats showed that a value of 100 increases the amount of unknown types, while for a value of 1000 it's staying mostly the same.
Diffstat (limited to 'tests/rustdoc-ui/coverage/doc-examples.rs')
0 files changed, 0 insertions, 0 deletions