Commit ad97909ae566154c082b116ad88c1ab82ec26291

Paul Eggert 2005-09-22T22:56:28

* modules/verify: New file. * lib/verify.h: New file. * MODULES.html.sh (Diagnostics <assert.h>): New section, with "verify" module.