Merge branch 'coverage' into devel
authorChristian Thaeter <ct@pipapo.org>
Sat, 7 Aug 2010 08:14:45 +0000 (10:14 +0200)
committerChristian Thaeter <ct@pipapo.org>
Sat, 7 Aug 2010 08:14:45 +0000 (10:14 +0200)
* coverage:
  let README generation grep asciidoc comments out
  FIX: some gotchas in test.sh
  cosmetics, fault coverage checker
  document the fault-coverage checker
  add bug-report address to AC_INIT
  tests for resource resetting
  FIX: copy'n'paste brainfart in RESETALL
  RESOURCE_RESET and RESOURCE_RESETALL
  ass some sanity checks for COVERAGE_DISABLE/ENABLE
  add COVERAGE_DISABLE/COVERAGE_ENABLE
  fault coverage testing, first implementation (EXPERIMENTAL)
  add the _IF variant to INVARIANT_ASSERT
  FIX: ENSURE_IF_CTX called the non _CTX version
  This is release 201006.1
  release make target fix


Trivial merge