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)
commitfb81971be519da911554a6e631d660d760445802
treec0a286ef58365578f5bdd9688d77c07c463b5ffb
parentbac54ceb67ec86cfffadc8caaf4ff3c99c4a854d
clarify validity for prtially initialized local variables
ralf/_posts/2018-08-22-two-kinds-of-invariants.md