search

lightningdevkit / lightning-liquidity

Other
27 stars 17 forks source link

Add initial `proptest` to check forwarding amount calculation #56

Closed tnull closed 9 months ago

tnull commented 9 months ago

Based on #53, fixes #45.

We introduce an initial property-based test to check calculate_amount_to_forward_per_htlc. We also adapt the latter to be less susceptible to over/underflows.

tnull commented 9 months ago

Rebased now that #53 landed and either addressed feedback or tracking it elsewhere.

tnull commented 9 months ago

Rebased after #58 landed.

@johncantrell97 Let me know if I can merge.

tnull commented 9 months ago

Merging as ACKed elsewhere