Skip to content

Commit 3b8a78e

Browse files
committed
fuzz: model chanmon mempool mining
Route chanmon broadcasts through an explicit harness mempool so relay, mining, wallet updates, and chain delivery share one path. This lets splice, anchor, and claim transactions enter the mempool before mining. On restart, sync loaded monitors and managers from their own persisted best blocks so raw monitors catch up without rewinding ChannelManager state. Cap modeled mining before unresolved HTLC timeout deadlines and use the LDK anti-reorg depth for setup confirmations.
1 parent a2dc179 commit 3b8a78e

1 file changed

Lines changed: 595 additions & 134 deletions

File tree

0 commit comments

Comments
 (0)