Skip to content

Instantly share code, notes, and snippets.

@dapp-whisperer

dapp-whisperer/lrsUint128-2.md

Last active January 30, 2024 01:16
Show Gist options
  • Save dapp-whisperer/14c663f2525bc43cae5a7a9ae71acc63 to your computer and use it in GitHub Desktop.
Save dapp-whisperer/14c663f2525bc43cae5a7a9ae71acc63 to your computer and use it in GitHub Desktop.
Download ZIP
feat/lrsUint128-invariant-failures 2
Raw
lrsUint128-2.md 
[2024-01-27 18:11:06.42] [status] tests: 1/18, fuzzing: 600150/600000, values: [], cov: 72020, corpus: 83
repayDebt(uint256,uint256): passing
adjustCdp(uint256,uint256,uint256,bool): passing
redeemCollateral(uint256,uint256,uint256,uint256): passing
flashLoanColl(uint256): passing
redeemCollateral(uint256,bytes32,uint256,bool,bool,uint256,uint256): passing
liquidate(uint256): passing
closeCdp(uint256): passing
withdrawColl(uint256,uint256): passing
addColl(uint256,uint256): passing
setPrice(uint256): passing
flashLoanEBTC(uint256): passing
partialLiquidate(uint256,uint256): passing
openCdp(uint256,uint256): passing
withdrawDebt(uint256,uint256): passing
setGovernanceParameters(uint256,uint256): failed!💥  
  Call sequence:
    openCdp(0,1006)
    addColl(10741501159779673,0)
    setEthPerShare(0)
    setGovernanceParameters(5939259503147539201404676,126145876287103911251)
    setEthPerShare(91174392265722087723717071228019349893709)
    withdrawColl(1000,12834720596717931034803300807523955622837538406174600313088967532560)
    setGovernanceParameters(1438928212499202756133426614658617100769581865525477858243133880155682,1)

Event sequence:
Panic(1): Using assert
LogString(«Clamping value 1438928212499202756133426614658617100769581865525477858243133880155682 to 1») from: 0xa329c0648769a73afac7f9381e08fb43dbea72
LastGoodPriceUpdated(74280000000000000) from: 0xee35211c4d9126d520bbfeaf3cfee5fe7b86f221
LastGoodPriceUpdated(74280000000000000) from: 0xee35211c4d9126d520bbfeaf3cfee5fe7b86f221
LastGoodPriceUpdated(74280000000000000) from: 0x2636a8bb8be7b69037fcabb5a40bec05fe580831
TCRNotified(147676824775241062840675944333996) from: 0xed0e369979f0deb50a2320caae6e9c2a558a75cc
LastGoodPriceUpdated(74280000000000000) from: 0xee35211c4d9126d520bbfeaf3cfee5fe7b86f221
error Revert 0x0000000000000000000000000000000000000000000000000000000000000000
LastGoodPriceUpdated(74280000000000000) from: 0xee35211c4d9126d520bbfeaf3cfee5fe7b86f221
LastGoodPriceUpdated(74280000000000000) from: 0x2636a8bb8be7b69037fcabb5a40bec05fe580831
TCRNotified(147676824775241062840675944333996) from: 0xed0e369979f0deb50a2320caae6e9c2a558a75cc
LastGoodPriceUpdated(74280000000000000) from: 0xee35211c4d9126d520bbfeaf3cfee5fe7b86f221
error Revert 0x0000000000000000000000000000000000000747f18e60a1e0532d9e2a9f82ac
LastGoodPriceUpdated(74280000000000000) from: 0xee35211c4d9126d520bbfeaf3cfee5fe7b86f221
error Revert 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
LastGoodPriceUpdated(74280000000000000) from: 0xee35211c4d9126d520bbfeaf3cfee5fe7b86f221
LastGoodPriceUpdated(74280000000000000) from: 0x2636a8bb8be7b69037fcabb5a40bec05fe580831
TCRNotified(147676824775241062840675944333996) from: 0xed0e369979f0deb50a2320caae6e9c2a558a75cc
FeeRecipientClaimableCollSharesDecreased(8458815207849474, 1) from: 0x81f9fe502ed9d031b4ef53d5606b83f92fca6aca
Transfer(0) from: 0x62d69f6867a0a084c6d313943dc22023bc263691
TransferShares(1) from: 0x62d69f6867a0a084c6d313943dc22023bc263691
LastGoodPriceUpdated(74280000000000000) from: 0xee35211c4d9126d520bbfeaf3cfee5fe7b86f221
LastGoodPriceUpdated(74280000000000000) from: 0xee35211c4d9126d520bbfeaf3cfee5fe7b86f221
LastGoodPriceUpdated(74280000000000000) from: 0x2636a8bb8be7b69037fcabb5a40bec05fe580831
TCRNotified(147676824775241062840675944333996) from: 0xed0e369979f0deb50a2320caae6e9c2a558a75cc
LastGoodPriceUpdated(74280000000000000) from: 0xee35211c4d9126d520bbfeaf3cfee5fe7b86f221
error Revert 0x0000000000000000000000000000000000000747f18e60a1e0532d9e2a9f82ac
LastGoodPriceUpdated(74280000000000000) from: 0xee35211c4d9126d520bbfeaf3cfee5fe7b86f221
error Revert 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
AssertGtFail(«Invalid: 0<=0 failed, reason: F-01: `claimFeeRecipientCollShares` allows to claim at any time») from: 0xa329c0648769a73afac7f9381e08fb43dbea72

setEthPerShare(uint256): passing
liquidateCdps(uint256): passing
AssertionFailed(..): passing
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment