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)
commit4cc3637ba6d16e576d790a794998468015737bca
tree5582ffcf46824f1aa2129727b1cae37e7c1a3dbd
parent095c8132e15ddb43d662ee7af04d9cc8968968f0
parent56892c0f75e2d5c2041f6d875ae976cd3bec56d8
Merge branch 'coverage' into devel

* 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