]> git.bitcoin.ninja Git - rust-lightning/commit
[fuzz] Expand chanmon_consistency to do single message delivery
authorMatt Corallo <git@bluematt.me>
Wed, 21 Apr 2021 17:03:57 +0000 (17:03 +0000)
committerMatt Corallo <git@bluematt.me>
Mon, 31 May 2021 18:20:22 +0000 (18:20 +0000)
commite003c431830f74addd489a47fa6eb4f66a7ad073
tree373491aebd959096e2a2b9d521f8ca9a7794cd34
parentb780cbdbfced45d61e17274c755207e2ca628e34
[fuzz] Expand chanmon_consistency to do single message delivery

While trying to debug the issue ultimately tracked down to a
`PeerHandler` locking bug in #891, the ability to deliver only
individual messages at a time in chanmon_consistency looked
important. Specifically, it initially appeared there may be a race
when an update_add_htlc was delivered, then a node sent a payment,
and only after that, the corresponding commitment-signed was
delivered.

This commit adds such an ability, greatly expanding the potential
for chanmon_consistency to identify channel state machine bugs.
fuzz/src/chanmon_consistency.rs