]> Savannah Git Hosting - gnulib.git/commit
verify: document ‘assume’ better
authorPaul Eggert <eggert@cs.ucla.edu>
Sat, 23 May 2020 16:41:54 +0000 (09:41 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Sat, 23 May 2020 16:42:35 +0000 (09:42 -0700)
commitb2c8d02c9750f335549781d20fa37415c9a1edb3
tree6b3fd019816ca9ded17a06178e4e3674fe769af5
parente7aac9276beda976f87ca617e1c25f1d9b841479
verify: document ‘assume’ better

* lib/verify.h (assume): Say it’s for static analysis, not dynamic.
ChangeLog
lib/verify.h