aboutsummaryrefslogtreecommitdiff
path: root/docs/dev
diff options
context:
space:
mode:
Diffstat (limited to 'docs/dev')
-rw-r--r--docs/dev/README.md13
1 files changed, 13 insertions, 0 deletions
diff --git a/docs/dev/README.md b/docs/dev/README.md
index d34ff96c8..3dc37e86e 100644
--- a/docs/dev/README.md
+++ b/docs/dev/README.md
@@ -147,3 +147,16 @@ RA_PROFILE=*@3>10 // dump everything, up to depth 3, if it takes more tha
147``` 147```
148 148
149In particular, I have `export RA_PROFILE='*>10' in my shell profile. 149In particular, I have `export RA_PROFILE='*>10' in my shell profile.
150
151To measure time for from-scratch analysis, use something like this:
152
153```
154$ cargo run --release -p ra_cli -- analysis-stats ../chalk/
155```
156
157For measuring time of incremental analysis, use either of these:
158
159```
160$ cargo run --release -p ra_cli -- analysis-bench ../chalk/ --highlight ../chalk/chalk-engine/src/logic.rs
161$ cargo run --release -p ra_cli -- analysis-bench ../chalk/ --complete ../chalk/chalk-engine/src/logic.rs:94:0
162```