document the fault-coverage checker
[nobug] / doc / nobug_manual.conf
1 //_ NoBug
2 //_ =====
3 //_ Christian_Th├Ąter,_Benny_Lyons
4 //_
5 //=overview
6 //=buildinstall
7
8 //=using
9 //=additional
10 //=whichlibrary
11 //=initialization
12
13 //=buildlevels
14
15 //=logging
16 //=logconfiguration
17 //=logflags
18 //=logflagsenv
19
20 //=predefflags
21
22 //=macros
23
24 //=parametertable
25
26 //=srccontext
27
28 //=assertions
29
30 //=logmacros
31
32 //=dumping
33 //=dumpmacros
34 //=dumpexample
35
36 //=annotations
37 //=annotationtable
38
39 //=scopechecks
40
41 //=assertiontable
42
43 //=faultinjection
44
45 //=coverageintro
46 //=coverage
47
48 //=resourcetracking
49 //=resourcemacros
50
51 //=resourceexample
52
53 //=resourcedeadlock
54
55 //=callbacks
56
57 //=toolmacros
58
59 //=multithreading
60
61 //=rbdump
62
63 //=testsuite
64
65 //=bestpractices
66
67 //_
68 //_ Appendix
69 //_ --------
70 //_
71 //=dlalgo
72
73 //_
74 //_ Index
75 //_ -----
76 //_
77 Todo index only for html generation, other dockbook toolchains generate
78 the index automatically
79 //=index
80 //_
81
82 //=license