mirror of
https://github.com/XRPLF/rippled.git
synced 2026-07-28 17:40:25 +00:00
Merge remote-tracking branch 'upstream/develop' into sponsor
This commit is contained in:
@@ -3512,12 +3512,13 @@ class Invariants_test : public beast::unit_test::suite
|
||||
precloseXrp);
|
||||
|
||||
doInvariantCheck(
|
||||
{"withdrawal must change vault and destination balance by "
|
||||
"equal amount",
|
||||
"withdrawal must decrease vault balance",
|
||||
"withdrawal must increase destination balance",
|
||||
"withdrawal and assets outstanding must add up",
|
||||
"withdrawal and assets available must add up"},
|
||||
{
|
||||
"withdrawal must change vault and destination balance by equal amount",
|
||||
"withdrawal must decrease vault balance",
|
||||
"withdrawal must increase destination balance",
|
||||
"withdrawal and assets outstanding must add up",
|
||||
"withdrawal and assets available must add up",
|
||||
},
|
||||
[&](Account const& A1, Account const& A2, ApplyContext& ac) {
|
||||
auto const keylet = keylet::vault(A1.id(), ac.view().seq());
|
||||
|
||||
|
||||
Reference in New Issue
Block a user