]> git.bitcoin.ninja Git - rust-lightning/commit
Fuzz reloading with a stale monitor in chanmon_consistency
authorMatt Corallo <git@bluematt.me>
Mon, 15 Apr 2024 19:25:05 +0000 (19:25 +0000)
committerMatt Corallo <git@bluematt.me>
Wed, 12 Jun 2024 15:32:33 +0000 (15:32 +0000)
commitd5019fc4d8afc8cd714041e16f32a74ce8f486cd
tree5026f5e4bc481c17a9c525ae932b27ea7280f713
parent1d0c6c60c6802126b3b29d6a2aa026c1aa33db02
Fuzz reloading with a stale monitor in chanmon_consistency

Now that we are gearing up to support fully async monitor storage,
we really need to fuzz monitor updates not completing before a
reload, which we do here in the `chanmon_consistency` fuzzer.

While there are more parts to async monitor updating that we need
to fuzz, this at least gets us started by having basic async
restart cases handled. In the future, we should extend this to make
sure some basic properties (eg claim/balance consistency) remain
true through `chanmon_consistency` runs.
fuzz/src/chanmon_consistency.rs