document the fault-coverage checker
[nobug] / doc / nobug_manual.conf
index 4af1a8d..22147a8 100644 (file)
@@ -42,6 +42,8 @@
 
 //=faultinjection
 
+//=coverageintro
+//=coverage
 
 //=resourcetracking
 //=resourcemacros