Commit 534bb75
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 534bb75
1 file changed
Lines changed: 595 additions & 135 deletions
0 commit comments