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)
commitf0ea07bf1f64acbe93088bbdf5ebf7284c389855
tree5cdb4146e1c6fc835a99c38d7348bddcbd30fe46
parentc0229716d4146908064eb98b91e33acc970fe285
clarify validity for prtially initialized local variables
personal/_posts/2018-08-22-two-kinds-of-invariants.md