Add generators and coverage checks for validity range
Home /
Input Output /
cardano-wallet
Oct 14, 7-8 AM (0)
Oct 14, 8-9 AM (6)
Oct 14, 9-10 AM (10)
Oct 14, 10-11 AM (0)
Oct 14, 11-12 PM (5)
Oct 14, 12-1 PM (0)
Oct 14, 1-2 PM (3)
Oct 14, 2-3 PM (0)
Oct 14, 3-4 PM (25)
Oct 14, 4-5 PM (0)
Oct 14, 5-6 PM (0)
Oct 14, 6-7 PM (0)
Oct 14, 7-8 PM (1)
Oct 14, 8-9 PM (0)
Oct 14, 9-10 PM (0)
Oct 14, 10-11 PM (0)
Oct 14, 11-12 AM (0)
Oct 15, 12-1 AM (0)
Oct 15, 1-2 AM (0)
Oct 15, 2-3 AM (0)
Oct 15, 3-4 AM (0)
Oct 15, 4-5 AM (0)
Oct 15, 5-6 AM (0)
Oct 15, 6-7 AM (1)
Oct 15, 7-8 AM (0)
Oct 15, 8-9 AM (0)
Oct 15, 9-10 AM (0)
Oct 15, 10-11 AM (0)
Oct 15, 11-12 PM (0)
Oct 15, 12-1 PM (2)
Oct 15, 1-2 PM (3)
Oct 15, 2-3 PM (0)
Oct 15, 3-4 PM (0)
Oct 15, 4-5 PM (16)
Oct 15, 5-6 PM (12)
Oct 15, 6-7 PM (2)
Oct 15, 7-8 PM (2)
Oct 15, 8-9 PM (2)
Oct 15, 9-10 PM (0)
Oct 15, 10-11 PM (0)
Oct 15, 11-12 AM (0)
Oct 16, 12-1 AM (0)
Oct 16, 1-2 AM (0)
Oct 16, 2-3 AM (0)
Oct 16, 3-4 AM (0)
Oct 16, 4-5 AM (0)
Oct 16, 5-6 AM (0)
Oct 16, 6-7 AM (0)
Oct 16, 7-8 AM (0)
Oct 16, 8-9 AM (0)
Oct 16, 9-10 AM (0)
Oct 16, 10-11 AM (0)
Oct 16, 11-12 PM (0)
Oct 16, 12-1 PM (0)
Oct 16, 1-2 PM (0)
Oct 16, 2-3 PM (0)
Oct 16, 3-4 PM (0)
Oct 16, 4-5 PM (0)
Oct 16, 5-6 PM (0)
Oct 16, 6-7 PM (0)
Oct 16, 7-8 PM (0)
Oct 16, 8-9 PM (0)
Oct 16, 9-10 PM (0)
Oct 16, 10-11 PM (0)
Oct 16, 11-12 AM (0)
Oct 17, 12-1 AM (0)
Oct 17, 1-2 AM (0)
Oct 17, 2-3 AM (0)
Oct 17, 3-4 AM (0)
Oct 17, 4-5 AM (0)
Oct 17, 5-6 AM (0)
Oct 17, 6-7 AM (0)
Oct 17, 7-8 AM (0)
Oct 17, 8-9 AM (0)
Oct 17, 9-10 AM (0)
Oct 17, 10-11 AM (0)
Oct 17, 11-12 PM (0)
Oct 17, 12-1 PM (0)
Oct 17, 1-2 PM (0)
Oct 17, 2-3 PM (0)
Oct 17, 3-4 PM (0)
Oct 17, 4-5 PM (0)
Oct 17, 5-6 PM (0)
Oct 17, 6-7 PM (0)
Oct 17, 7-8 PM (0)
Oct 17, 8-9 PM (0)
Oct 17, 9-10 PM (0)
Oct 17, 10-11 PM (0)
Oct 17, 11-12 AM (0)
Oct 18, 12-1 AM (0)
Oct 18, 1-2 AM (0)
Oct 18, 2-3 AM (4)
Oct 18, 3-4 AM (1)
Oct 18, 4-5 AM (2)
Oct 18, 5-6 AM (0)
Oct 18, 6-7 AM (6)
Oct 18, 7-8 AM (0)
Oct 18, 8-9 AM (0)
Oct 18, 9-10 AM (11)
Oct 18, 10-11 AM (8)
Oct 18, 11-12 PM (0)
Oct 18, 12-1 PM (3)
Oct 18, 1-2 PM (1)
Oct 18, 2-3 PM (0)
Oct 18, 3-4 PM (1)
Oct 18, 4-5 PM (0)
Oct 18, 5-6 PM (0)
Oct 18, 6-7 PM (1)
Oct 18, 7-8 PM (0)
Oct 18, 8-9 PM (0)
Oct 18, 9-10 PM (0)
Oct 18, 10-11 PM (0)
Oct 18, 11-12 AM (0)
Oct 19, 12-1 AM (0)
Oct 19, 1-2 AM (3)
Oct 19, 2-3 AM (0)
Oct 19, 3-4 AM (0)
Oct 19, 4-5 AM (1)
Oct 19, 5-6 AM (0)
Oct 19, 6-7 AM (0)
Oct 19, 7-8 AM (4)
Oct 19, 8-9 AM (0)
Oct 19, 9-10 AM (0)
Oct 19, 10-11 AM (2)
Oct 19, 11-12 PM (2)
Oct 19, 12-1 PM (1)
Oct 19, 1-2 PM (1)
Oct 19, 2-3 PM (1)
Oct 19, 3-4 PM (0)
Oct 19, 4-5 PM (0)
Oct 19, 5-6 PM (0)
Oct 19, 6-7 PM (1)
Oct 19, 7-8 PM (0)
Oct 19, 8-9 PM (0)
Oct 19, 9-10 PM (0)
Oct 19, 10-11 PM (0)
Oct 19, 11-12 AM (0)
Oct 20, 12-1 AM (0)
Oct 20, 1-2 AM (1)
Oct 20, 2-3 AM (1)
Oct 20, 3-4 AM (4)
Oct 20, 4-5 AM (6)
Oct 20, 5-6 AM (0)
Oct 20, 6-7 AM (0)
Oct 20, 7-8 AM (2)
Oct 20, 8-9 AM (2)
Oct 20, 9-10 AM (2)
Oct 20, 10-11 AM (3)
Oct 20, 11-12 PM (1)
Oct 20, 12-1 PM (2)
Oct 20, 1-2 PM (3)
Oct 20, 2-3 PM (0)
Oct 20, 3-4 PM (0)
Oct 20, 4-5 PM (30)
Oct 20, 5-6 PM (5)
Oct 20, 6-7 PM (3)
Oct 20, 7-8 PM (0)
Oct 20, 8-9 PM (0)
Oct 20, 9-10 PM (0)
Oct 20, 10-11 PM (0)
Oct 20, 11-12 AM (0)
Oct 21, 12-1 AM (0)
Oct 21, 1-2 AM (0)
Oct 21, 2-3 AM (1)
Oct 21, 3-4 AM (2)
Oct 21, 4-5 AM (6)
Oct 21, 5-6 AM (16)
Oct 21, 6-7 AM (2)
Oct 21, 7-8 AM (0)
236 commits this week
Oct 14, 2021 -
Oct 21, 2021
Add generators and coverage checks for TxFee
![iohk-bors[bot]](https://avatars.githubusercontent.com/in/17473?v=4&s=80)
Merge #2986
2986: Improve coverage of failure modes for `performSelection`. r=jonathanknowles a=jonathanknowles ## Issue Number ADP-1037 ## Summary This PR: - adjusts `genOutputsToCover` so that it occasionally generates outputs with token quantities that exceed the maximum allowable token quantity (`maxBound :: Word64`). - adjusts `genUTxOAvailableForInputs` so that it occasionally generates UTxO sets that are completely empty. - rebalances the minimum coverage requirements for failure modes of `performSelection`. Co-authored-by: Jonathan Knowles <[email protected]>
Rebalance minimum coverage requirements for `prop_performSelection`.
Allow `genUTxOAvailableForInputs` to generate empty UTxO sets.
This commit adjusts `genUTxOAvailableForInputs` so that it occasionally generates UTxO sets that are completely empty.
Allow `genOutputsToCover` to generate out-of-bounds quantities.
This commit adjusts `genOutputsToCover` so that it occasionally generates outputs with token quantities that exceed the maximum allowable token quantity.
Buildkite: Straighten out environment variables
Buildkite: Use nix-shell --pure for cabal configure step
Bump iohk-nix to latest master
Because we may as well.
Buildkite: Straighten out environment variables
Buildkite: Use nix-shell --pure for cabal configure step
Bump iohk-nix to latest master
Because we may as well.
.gitignore: Make it more specific
Long story, but in particular, result* could match a source file like Result.hs on case-insensitive filesystems (i.e. macOS).
nix: Take GHC version and index-state from cabal.project
nix: Fix comment around hackage.nix/stackage.nix overrides
Remove unused LANGUAGE pragmas
Merge #2986
2986: Improve coverage of failure modes for `performSelection`. r=jonathanknowles a=jonathanknowles ## Issue Number ADP-1037 ## Summary This PR: - adjusts `genOutputsToCover` so that it occasionally generates outputs with token quantities that exceed the maximum allowable token quantity (`maxBound :: Word64`). - adjusts `genUTxOAvailableForInputs` so that it occasionally generates UTxO sets that are completely empty. - rebalances the minimum coverage requirements for failure modes of `performSelection`. Co-authored-by: Jonathan Knowles <[email protected]>
Remove unused LANGUAGE pragmas
Add generators and coverage for SlotNo
Rebalance minimum coverage requirements for `prop_performSelection`.
Allow `genUTxOAvailableForInputs` to generate empty UTxO sets.
This commit adjusts `genUTxOAvailableForInputs` so that it occasionally generates UTxO sets that are completely empty.
Allow `genOutputsToCover` to generate out-of-bounds quantities.
This commit adjusts `genOutputsToCover` so that it occasionally generates outputs with token quantities that exceed the maximum allowable token quantity.
Add generators and coverage for collateral TxIn
Add generators and coverage for TxIn