Skip to content

Instantly share code, notes, and snippets.

@dapp-whisperer

dapp-whisperer/lrsUint128-1.md

Last active January 30, 2024 01:15
Show Gist options
  • Save dapp-whisperer/d74432aae4df6601716240dfe1db9a56 to your computer and use it in GitHub Desktop.
Save dapp-whisperer/d74432aae4df6601716240dfe1db9a56 to your computer and use it in GitHub Desktop.
Download ZIP
feat/lrsUint128-invariant-failures failure 1
Raw
lrsUint128-1.md 
[2024-01-28 22:02:56.98] [Worker 0] Test limit reached. Stopping.
[2024-01-28 22:02:56.98] [status] tests: 1/18, fuzzing: 600063/600000, values: [], cov: 72017, corpus: 75
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(1425906582787110,1000)
    setEthPerShare(92193417667607775)
    addColl(1003,0)
    setEthPerShare(0)
    setGovernanceParameters(1,1)

Event sequence:
Panic(1): Using assert
LastGoodPriceUpdated(74280000000000000) from: 0xee35211c4d9126d520bbfeaf3cfee5fe7b86f221
StEthIndexUpdated(1001284326758516865, 910258478871378968, 1524785992) from: 0xed0e369979f0deb50a2320caae6e9c2a558a75cc
LastGoodPriceUpdated(74280000000000000) from: 0xee35211c4d9126d520bbfeaf3cfee5fe7b86f221
LastGoodPriceUpdated(74280000000000000) from: 0x2636a8bb8be7b69037fcabb5a40bec05fe580831
TCRNotified(135141272537839961844120000000000) from: 0xed0e369979f0deb50a2320caae6e9c2a558a75cc
LastGoodPriceUpdated(74280000000000000) from: 0xee35211c4d9126d520bbfeaf3cfee5fe7b86f221
error Revert 0x0000000000000000000000000000000000000000000000000000000000000000
StEthIndexUpdated(1001284326758516865, 910258478871378968, 1524785992) from: 0xed0e369979f0deb50a2320caae6e9c2a558a75cc
LastGoodPriceUpdated(74280000000000000) from: 0xee35211c4d9126d520bbfeaf3cfee5fe7b86f221
LastGoodPriceUpdated(74280000000000000) from: 0x2636a8bb8be7b69037fcabb5a40bec05fe580831
TCRNotified(135141272537839961844120000000000) from: 0xed0e369979f0deb50a2320caae6e9c2a558a75cc
LastGoodPriceUpdated(74280000000000000) from: 0xee35211c4d9126d520bbfeaf3cfee5fe7b86f221
error Revert 0x00000000000000000000000000000000000006a9b900995b16174789bc41f000
StEthIndexUpdated(1001284326758516865, 910258478871378968, 1524785992) from: 0xed0e369979f0deb50a2320caae6e9c2a558a75cc
LastGoodPriceUpdated(74280000000000000) from: 0xee35211c4d9126d520bbfeaf3cfee5fe7b86f221
error Revert 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
StEthIndexUpdated(1001284326758516865, 910258478871378968, 1524785992) from: 0xed0e369979f0deb50a2320caae6e9c2a558a75cc
LastGoodPriceUpdated(74280000000000000) from: 0xee35211c4d9126d520bbfeaf3cfee5fe7b86f221
LastGoodPriceUpdated(74280000000000000) from: 0x2636a8bb8be7b69037fcabb5a40bec05fe580831
TCRNotified(135141272537839961844120000000000) from: 0xed0e369979f0deb50a2320caae6e9c2a558a75cc
FeeRecipientClaimableCollSharesDecreased(1282679379067739, 1) from: 0x81f9fe502ed9d031b4ef53d5606b83f92fca6aca
Transfer(0) from: 0x62d69f6867a0a084c6d313943dc22023bc263691
TransferShares(1) from: 0x62d69f6867a0a084c6d313943dc22023bc263691
LastGoodPriceUpdated(74280000000000000) from: 0xee35211c4d9126d520bbfeaf3cfee5fe7b86f221
LastGoodPriceUpdated(74280000000000000) from: 0xee35211c4d9126d520bbfeaf3cfee5fe7b86f221
LastGoodPriceUpdated(74280000000000000) from: 0x2636a8bb8be7b69037fcabb5a40bec05fe580831
TCRNotified(135141272537839961844120000000000) from: 0xed0e369979f0deb50a2320caae6e9c2a558a75cc
LastGoodPriceUpdated(74280000000000000) from: 0xee35211c4d9126d520bbfeaf3cfee5fe7b86f221
error Revert 0x00000000000000000000000000000000000006a9b900995b16174789bc41f000
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