blob: 7c4ad891082fe743277f9c05fe92e5d1bbe19860 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
Notes on Profiling Proof General in Emacs
-----------------------------------------
Run
make profile.<prover>
to run scripted profiling tests in <prover>/<prover>-profiling.el
Interactive use of Elisp profiler:
M-x elp-instrument-package RET proof RET
M-x elp-instrument-package RET pg RET
< do something now >
M-x elp-results
To display results.
Canonical settings:
M-x profile-pg
(in lib/pg-dev).
|