clarify validity for prtially initialized local variables
authorRalf Jung <post@ralfj.de>
Thu, 23 Aug 2018 10:34:29 +0000 (12:34 +0200)
committerRalf Jung <post@ralfj.de>
Thu, 23 Aug 2018 10:34:29 +0000 (12:34 +0200)
commitf729174e419ff593e5d5459c8e1ab839c4679994
tree89eeb702dae68dda0a9d277aaf0c4c4ea2b13e47
parentddae92054e0832e5b8c518f8e332496da394cc0f
clarify validity for prtially initialized local variables
personal/_posts/2018-08-22-two-kinds-of-invariants.md