[fuzz] Check that channels don't get stuck in chanmon_consistency 2020-11-chanmon_consistency-bits
authorMatt Corallo <git@bluematt.me>
Wed, 18 Nov 2020 02:07:15 +0000 (21:07 -0500)
committerMatt Corallo <git@bluematt.me>
Sat, 21 Nov 2020 17:11:56 +0000 (12:11 -0500)
commit6563f7aa5c96b3d49199f7736129916350f397f1
treeabf759ad2abcfd428d3cf6e99dd1092515f2b397
parent63d436570233479c1f2b16103829fdde3213e206
[fuzz] Check that channels don't get stuck in chanmon_consistency

This adds a new command string in the chanmon_consistency fuzzer
which tests that, once all pending HTLCs are settled, at least one
side of a channel can still send funds.

While this should have caught the recent(ish) spec bug where
channels could get stuck, I did not attempt to reproduce said bug
with this patch.
fuzz/src/chanmon_consistency.rs