In response to review feedback: https://github.com/input-output-hk/cardano-wallet/pull/2451#discussion_r561029734
onSuccess result = do
monitor $ counterexample $ unlines
[ "available balance:"
, pretty (TokenBundle.Nested balanceAvailable)
, pretty (Flat balanceAvailable)
, "required balance:"
, pretty (TokenBundle.Nested balanceRequired)
, pretty (Flat balanceRequired)
, "selected balance:"
, pretty (TokenBundle.Nested balanceSelected)
, pretty (Flat balanceSelected)
, "change balance:"
, pretty (TokenBundle.Nested balanceChange)
, pretty (Flat balanceChange)
]
let delta = TokenBundle.unsafeSubtract
balanceSelected
onBalanceInsufficient e = do
monitor $ counterexample $ unlines
[ "available balance:"
, pretty (TokenBundle.Nested balanceAvailable)
, pretty (Flat balanceAvailable)
, "required balance:"
, pretty (TokenBundle.Nested balanceRequired)
, pretty (Flat balanceRequired)
]
assert $ not $ balanceSufficient criteria
assert $ balanceAvailable == errorBalanceAvailable
onSelectionInsufficient e = do
monitor $ counterexample $ unlines
[ "required balance:"
, pretty (TokenBundle.Nested errorBalanceRequired)
, pretty (Flat errorBalanceRequired)
, "selected balance:"
, pretty (TokenBundle.Nested errorBalanceSelected)
, pretty (Flat errorBalanceSelected)
]
assert $ selectionLimit ==
MaximumInputLimit (length errorInputsSelected)
monitor $ cover 50 (Set.size assetsRequested >= 4)
"size assetsRequested >= 4"
monitor $ counterexample $ unlines
[ "balance available: " <> show balanceAvailable
, "balance requested: " <> show balanceRequested
, "balance selected: " <> show balanceSelected
, "balance leftover: " <> show balanceLeftover
[ "balance available: " <> pretty (Flat balanceAvailable)
, "balance requested: " <> pretty (Flat balanceRequested)
, "balance selected: " <> pretty (Flat balanceSelected)
, "balance leftover: " <> pretty (Flat balanceLeftover)
]
assert $
balanceRequested `leq` addExtraSource extraSource balanceSelected
![iohk-bors[bot]](https://avatars.githubusercontent.com/in/17473?v=4&s=80)
2930: Add a self-issued predicate to the Consensus interface r=nfrisby a=nfrisby Fixes #2926. Co-authored-by: Nicolas Frisby <[email protected]>
This new component of the Consensus API satisfies Issue 2926 by providing a predicate for the new node metric that monitors forged blocks that didn't end up on the chain. See CAD-2371.
The old insert, for the most common case, required two round trips for a database insert. This has been reduced to a single trip. Closes: https://github.com/input-output-hk/cardano-db-sync/issues/529
* Consolidate tmp storage between scripts
Utilize a common TMP_DIR set in `env` as base dir for temporary files. Scripts may create sub-folders to TMP_DIR(default /tmp/cnode) for further separation.
TIMEOUT_LEDGER_STATE set in both cntools and cncli moved to env
* Remove leading / from ${TMP_DIR} usage already defined in variable
Co-authored-by: Priyank <[email protected]>
* github workflows * nix
The old insert, for the most common case, required two round trips for a database insert. This has been reduced to a single trip. Closes: https://github.com/input-output-hk/cardano-db-sync/issues/529
Staking tests on testnet