| commit | b2c8d02c9750f335549781d20fa37415c9a1edb3 | |
| author | Paul Eggert <eggert@cs.ucla.edu> | |
| Sat, 23 May 2020 16:41:54 +0000 (23 09:41 -0700) | ||
| committer | Paul Eggert <eggert@cs.ucla.edu> | |
| Sat, 23 May 2020 16:42:35 +0000 (23 09:42 -0700) | ||
| tree | 6b3fd019816ca9ded17a06178e4e3674fe769af5 | treesnapshot (tar.gz zip) |
| parent | e7aac9276beda976f87ca617e1c25f1d9b841479 | commitdiff |
verify: document ‘assume’ better
* lib/verify.h (assume): Say it’s for static analysis, not dynamic.
* lib/verify.h (assume): Say it’s for static analysis, not dynamic.
| ChangeLog | diffblobblamehistory | |
| lib/verify.h | diffblobblamehistory |