< moneyball> for those attending CoreDev Amsterdam, or, for those wanting to follow along remotely, you can join ##amsterdamcore
< jeremyrubin> roconnor: It should also be possible to formally verify a parser in CoQ or something and then extract a C implementation
< jeremyrubin> e.g. the RockSalt project
< bitcoin-git> [bitcoin] LongShao007 opened pull request #16131: enable -salvagewallet test in wallet_basic.py (master...pytest) https://github.com/bitcoin/bitcoin/pull/16131