document the fault-coverage checker
authorChristian Thaeter <ct@pipapo.org>
Tue, 3 Aug 2010 03:11:16 +0000 (05:11 +0200)
committerChristian Thaeter <ct@pipapo.org>
Tue, 3 Aug 2010 03:11:16 +0000 (05:11 +0200)
commitdeed5a0d475eb876d2ad4c0b002416af28662181
treeddca1dddbefb52e47567d2fd419ce033afd4655d
parentb76a56c553b19e244cb254843ccff2b37a4d0025
document the fault-coverage checker
doc/coverageintro.txt [new file with mode: 0644]
doc/nobug_manual.conf
src/nobug.h