blob: eea7a0bc1f4727e2e616a4e5b36feae82d8f6d1d (
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
27
28
29
30
|
Debuggage
=========
dans Emacs. n�cessite le mode tuareg.
Coq doit �tre configur� avec -debug et -local (./configure -debug -local)
1. M-x camldebug
2. sp�cifier le binaire coqtop.byte
3. sp�cifier dev/ocamldebug-v7
4. source db (pour avoir les pretty-printers)
5. poser ses points d'arr�ts avec C-x C-a C-b (penser "add breakpoint")
directement dans le source ocaml
6. ensuite voir le man d'ocamldebug
run
step
next
last
print x
...
Profiling
=========
Coq doit �tre configur� avec -profile
1. Lancer Coq en natif, qui doit terminer normalement (utiliser Quit
ou l'option -batch)
2. gprof ./coqtop gmon.out
|
