verify: new macro verify_expr; verify_true deprecated
authorPaul Eggert <eggert@cs.ucla.edu>
Wed, 15 Jun 2011 18:15:37 +0000 (11:15 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Wed, 15 Jun 2011 18:15:37 +0000 (11:15 -0700)
commit0e24c5989ff4b5f886f10ad2b066d793caca7ff2
treebaa9b63d5b75fa696543abb630e183ba4aebffb9
parent4af5eabfc04010c39947d3ae9763ae931d63c191
verify: new macro verify_expr; verify_true deprecated

* NEWS: Mention this.
* doc/verify.texi (Compile-time Assertions): Document this.
* lib/verify.h (verify_true): Deprecate.
(verify_expr): New macro.
* tests/test-verify.c (function): Test verify_expr.
ChangeLog
NEWS
doc/verify.texi
lib/verify.h
tests/test-verify.c