Skip to content

Commit

Permalink
Tweak \rho again to fix TRANS_NEW_JOIN_01a
Browse files Browse the repository at this point in the history
  • Loading branch information
Anviking committed Feb 22, 2024
1 parent db0a08b commit bb12c87
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -273,6 +273,7 @@ import Test.Integration.Framework.DSL
, Headers (..)
, Payload (..)
, arbitraryStake
, counterexample
, decodeErrorInfo
, delegating
, emptyIcarusWallet
Expand Down Expand Up @@ -3173,7 +3174,7 @@ spec = describe "NEW_SHELLEY_TRANSACTIONS" $ do
-- require the reward balance to have decreased.
, expectField (#balance . #available)
(.> (walletBeforeWithdrawal ^. #balance . #available))
]
] & counterexample ("Wdrl: " <> show withdrawalAmount)

-- now we can quit
let delegationQuit = Json [json|{
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -176,7 +176,7 @@ generateGenesis initialFunds genesisMods = do
& ppNOptL
.~ 3
& ppRhoL
.~ unsafeUnitInterval 0.005
.~ unsafeUnitInterval 0.02
& ppTauL
.~ unsafeUnitInterval 0.1
& ppA0L
Expand Down

0 comments on commit bb12c87

Please sign in to comment.