Skip to content

Instantly share code, notes, and snippets.

@GalloDaSballo

GalloDaSballo/General 08 Medusa .MD Secret

Created October 11, 2023 15:03
Show Gist options
  • Save GalloDaSballo/b4c4ee5d39526388ed4342b763032e9a to your computer and use it in GitHub Desktop.
Save GalloDaSballo/b4c4ee5d39526388ed4342b763032e9a to your computer and use it in GitHub Desktop.
Download ZIP
Raw
General 08 Medusa .MD 
⇾ [FAILED] Property Test: EchidnaTester.echidna_GENERAL_08()
Test for method "EchidnaTester.echidna_GENERAL_08()" failed after the following call sequence:
[Call Sequence]
1) EchidnaTester.openCdp(67534042799335353648407647554112468697195277953615236438520200454730440793371, 8) (block=18, time=140498, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000010000)
2) EchidnaTester.openCdp(115792089237316195423570985008687907853269984665640564039457584007913129639931, 1000000000000000900) (block=11211, time=701688, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000010000)
3) EchidnaTester.setEthPerShare(48542174391735010270995007834653745032392815149632706327135797120960854131722) (block=20133, time=824594, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000020000)
4) EchidnaTester.setEthPerShare(40) (block=34576, time=1241815, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
5) EchidnaTester.liquidate(5498870406856203425250123995524908869201088216038261097215333899055942143363) (block=34576, time=1241815, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000010000)
6) EchidnaTester.openCdp(65081459863949768631643321477651888220057877973928177303332830234177197138896, 27) (block=34578, time=1241820, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000030000)
7) EchidnaTester.closeCdp(115792089237316195423570985008687907853269984665640564039457584007913129639680) (block=64063, time=1551197, gas=12500000, gasprice=1, value=0, sender=0x0000000000000000000000000000000000010000)
[Execution Trace]
 => [call] EchidnaTester.closeCdp(115792089237316195423570985008687907853269984665640564039457584007913129639680) (addr=0xA647ff3c36cFab592509E13860ab8c4F28781a66, value=0, sender=0x0000000000000000000000000000000000010000)
	 => [call] CdpManager.getActiveCdpsCount() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (2)]
	 => [call] SortedCdps.cdpCountOf(0x587be02d13c624e65b3d98c33fdf3eea13aaaf97) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1)]
	 => [event] LogString("Clamping value 115792089237316195423570985008687907853269984665640564039457584007913129639680 to 0")
	 => [call] SortedCdps.cdpOfOwnerByIndex(0x587be02d13c624e65b3d98c33fdf3eea13aaaf97, 0) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000)]
	 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [event] LastGoodPriceUpdated(74280000000000000)
		 => [return (74280000000000000)]
	 => [call] CdpManager.getDebtAndCollShares(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (7870558849717650, 2000000000000000134, 7870558849717642)]
	 => [call] CRLens.quoteRealNICR(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CRLens.getRealNICR(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000, true) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
			 => [call] CdpManager.syncAccounting(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (827347519305271956)]
				 => [event] CdpDebtRedistributionIndexUpdated(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000, 3935279424858821)
				 => [call] SortedCdps.getOwnerAddress(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (0x587be02d13c624e65b3d98c33fdf3eea13aaaf97)]
				 => [event] CdpUpdated(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000, 0x587be02d13c624e65b3d98c33fdf3eea13aaaf97, 8, 2000000000000000134, 7870558849717650, 2000000000000000134, 2000000000000000134, 3)
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [event] LastGoodPriceUpdated(74280000000000000)
				 => [return (74280000000000000)]
			 => [call] CdpManager.getNominalICR(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [return (25411156160426251477923)]
			 => [revert]
		 => [return (25411156160426251477923)]
	 => [call] CdpManager.getICR(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000, 74280000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CollateralTokenTester.getPooledEthByShares(2000000000000000134) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (1654695038610544022)]
		 => [return (15616520988519199580)]
	 => [call] CdpManager.getCdpCollShares(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (2000000000000000134)]
	 => [call] CdpManager.getCdpLiquidatorRewardShares(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (200000000000000000)]
	 => [call] CdpManager.getCdpStatus(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1)]
	 => [call] CRLens.quoteCheckRecoveryMode() (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CRLens.getCheckRecoveryMode(true) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
			 => [call] CdpManager.syncGlobalAccountingAndGracePeriod() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (827347519305271956)]
				 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [event] LastGoodPriceUpdated(74280000000000000)
					 => [return (74280000000000000)]
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (4417363868667196871)]
				 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (7870558849717678)]
				 => [call] CollateralTokenTester.getPooledEthByShares(4417363868667196871) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (3654695038610544476)]
				 => [event] TCRNotified(34491927784483699491)
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [event] LastGoodPriceUpdated(74280000000000000)
				 => [return (74280000000000000)]
			 => [call] CdpManager.checkRecoveryMode(74280000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (4417363868667196871)]
				 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (7870558849717678)]
				 => [call] CollateralTokenTester.getPooledEthByShares(4417363868667196871) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (3654695038610544476)]
				 => [return (false)]
			 => [revert]
		 => [return (0)]
	 => [call] CdpManager.stEthIndex() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (827347519305271956)]
	 => [call] CdpManager.DECIMAL_PRECISION() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1000000000000000000)]
	 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (827347519305271956)]
	 => [call] ActivePool.feeRecipientAddress() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0x940ffbeb88afdcaaa281ea675a6c5c3b39e99c74)]
	 => [call] CollateralTokenTester.balanceOf(0x940ffbeb88afdcaaa281ea675a6c5c3b39e99c74) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] ActivePool.getFeeRecipientClaimableCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] ActivePool.getFeeRecipientClaimableCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] CollateralTokenTester.balanceOf(0x587be02d13c624e65b3d98c33fdf3eea13aaaf97) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (825527354762800357585)]
	 => [call] EBTCTokenTester.balanceOf(0x587be02d13c624e65b3d98c33fdf3eea13aaaf97) (addr=0x8367820c2d14988Dd8a389e2a6D4D4EbFd107397, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (7870558849717651)]
	 => [call] SortedCdps.cdpCountOf(0x587be02d13c624e65b3d98c33fdf3eea13aaaf97) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1)]
	 => [call] SortedCdps.getSize() (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (2)]
	 => [call] CdpManager.getTCR(74280000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (4417363868667196871)]
		 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (7870558849717678)]
		 => [call] CollateralTokenTester.getPooledEthByShares(4417363868667196871) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (3654695038610544476)]
		 => [return (34491927784483699491)]
	 => [call] EBTCTokenTester.totalSupply() (addr=0x8367820c2d14988Dd8a389e2a6D4D4EbFd107397, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (7870558849717678)]
	 => [call] CollateralTokenTester.getEthPerShare() (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (827347519305271956)]
	 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (7870558849717678)]
	 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (4417363868667196871)]
	 => [call] CollSurplusPool.getTotalSurplusCollShares() (addr=0xA8896Ba6856F1Ee1b207Ff0B4f9cb6b12f014Dc4, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] CdpManager.lastGracePeriodStartTimestamp() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (340282366920938463463374607431768211455)]
	 => [call] CdpManager.UNSET_TIMESTAMP() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (340282366920938463463374607431768211455)]
	 => [call] CdpManager.lastGracePeriodStartTimestamp() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (340282366920938463463374607431768211455)]
	 => [call] CdpManager.UNSET_TIMESTAMP() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (340282366920938463463374607431768211455)]
	 => [call] CdpManager.lastGracePeriodStartTimestamp() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (340282366920938463463374607431768211455)]
	 => [call] CdpManager.systemDebtRedistributionIndex() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (3935279424858821)]
	 => [call] CRLens.quoteRealTCR() (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CRLens.getRealTCR(true) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
			 => [call] CdpManager.syncGlobalAccountingAndGracePeriod() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (827347519305271956)]
				 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [event] LastGoodPriceUpdated(74280000000000000)
					 => [return (74280000000000000)]
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (4417363868667196871)]
				 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (7870558849717678)]
				 => [call] CollateralTokenTester.getPooledEthByShares(4417363868667196871) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (3654695038610544476)]
				 => [event] TCRNotified(34491927784483699491)
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [event] LastGoodPriceUpdated(74280000000000000)
				 => [return (74280000000000000)]
			 => [call] CdpManager.getTCR(74280000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (4417363868667196871)]
				 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (7870558849717678)]
				 => [call] CollateralTokenTester.getPooledEthByShares(4417363868667196871) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (3654695038610544476)]
				 => [return (34491927784483699491)]
			 => [revert]
		 => [return (34491927784483699491)]
	 => [call] CRLens.quoteRealICR(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CRLens.getRealICR(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000, true) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
			 => [call] CdpManager.syncAccounting(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (827347519305271956)]
				 => [event] CdpDebtRedistributionIndexUpdated(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000, 3935279424858821)
				 => [call] SortedCdps.getOwnerAddress(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (0x587be02d13c624e65b3d98c33fdf3eea13aaaf97)]
				 => [event] CdpUpdated(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000, 0x587be02d13c624e65b3d98c33fdf3eea13aaaf97, 8, 2000000000000000134, 7870558849717650, 2000000000000000134, 2000000000000000134, 3)
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [event] LastGoodPriceUpdated(74280000000000000)
				 => [return (74280000000000000)]
			 => [call] CdpManager.getICR(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000, 74280000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(2000000000000000134) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (1654695038610544022)]
				 => [return (15616520988519199580)]
			 => [revert]
		 => [return (15616520988519199580)]
	 => [call] CollateralTokenTester.getPooledEthByShares(4417363868667196871) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (3654695038610544476)]
	 => [call] Actor.proxy(0x2065f9fd93926d51c169f57b7d38497e7a14cd55, 14e67a03587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0x587be02D13c624E65b3D98C33fdf3Eea13aAAf97, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] BorrowerOperations.closeCdp(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55, value=0, sender=0x587be02D13c624E65b3D98C33fdf3Eea13aAAf97)
			 => [call] SortedCdps.getOwnerAddress(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [return (0x587be02d13c624e65b3d98c33fdf3eea13aaaf97)]
			 => [call] CdpManager.getCdpStatus(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [return (1)]
			 => [call] CdpManager.syncAccounting(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (827347519305271956)]
				 => [event] CdpDebtRedistributionIndexUpdated(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000, 3935279424858821)
				 => [call] SortedCdps.getOwnerAddress(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (0x587be02d13c624e65b3d98c33fdf3eea13aaaf97)]
				 => [event] CdpUpdated(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000, 0x587be02d13c624e65b3d98c33fdf3eea13aaaf97, 8, 2000000000000000134, 7870558849717650, 2000000000000000134, 2000000000000000134, 3)
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [event] LastGoodPriceUpdated(74280000000000000)
				 => [return (74280000000000000)]
			 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [return (4417363868667196871)]
			 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [return (7870558849717678)]
			 => [call] CollateralTokenTester.getPooledEthByShares(4417363868667196871) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [return (3654695038610544476)]
			 => [call] CdpManager.getCdpCollShares(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [return (2000000000000000134)]
			 => [call] CdpManager.getCdpDebt(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [return (7870558849717650)]
			 => [call] CdpManager.getCdpLiquidatorRewardShares(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [return (200000000000000000)]
			 => [call] EBTCTokenTester.balanceOf(0x587be02d13c624e65b3d98c33fdf3eea13aaaf97) (addr=0x8367820c2d14988Dd8a389e2a6D4D4EbFd107397, value=<nil>, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [return (7870558849717651)]
			 => [call] CollateralTokenTester.getPooledEthByShares(2000000000000000134) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [return (1654695038610544022)]
			 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [return (4417363868667196871)]
			 => [call] CollateralTokenTester.getPooledEthByShares(4417363868667196871) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [return (3654695038610544476)]
			 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [return (7870558849717678)]
			 => [call] CdpManager.notifyEndGracePeriod(5305714285714286918682857142857142) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [event] TCRNotified(5305714285714286918682857142857142)
				 => [return ()]
			 => [call] CdpManager.closeCdp(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000, 0x587be02d13c624e65b3d98c33fdf3eea13aaaf97, 7870558849717650, 2000000000000000134) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [event] CdpUpdated(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000, 0x587be02d13c624e65b3d98c33fdf3eea13aaaf97, 7870558849717650, 2000000000000000134, 0, 0, 0, 1)
				 => [call] SortedCdps.getSize() (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (2)]
				 => [event] TotalStakesUpdated(2417363868667196737)
				 => [event] CdpArrayIndexUpdated(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000087120000000000000002, 0)
				 => [call] SortedCdps.remove(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [event] NodeRemoved(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000)
					 => [return ()]
				 => [return ()]
			 => [call] ActivePool.decreaseSystemDebt(7870558849717650) (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=0, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [event] ActivePoolEBTCDebtUpdated(28)
				 => [return ()]
			 => [call] EBTCTokenTester.burn0(0x587be02d13c624e65b3d98c33fdf3eea13aaaf97, 7870558849717650) (addr=0x8367820c2d14988Dd8a389e2a6D4D4EbFd107397, value=0, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [event] Transfer(0x587be02d13c624e65b3d98c33fdf3eea13aaaf97, 0x0000000000000000000000000000000000000000, 7870558849717650)
				 => [return ()]
			 => [call] ActivePool.transferSystemCollSharesAndLiquidatorReward(0x587be02d13c624e65b3d98c33fdf3eea13aaaf97, 2000000000000000134, 200000000000000000) (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=0, sender=0x2065F9fd93926d51c169f57b7d38497e7A14Cd55)
				 => [event] SystemCollSharesUpdated(2417363868667196737)
				 => [event] CollSharesTransferred(0x587be02d13c624e65b3d98c33fdf3eea13aaaf97, 2200000000000000134)
				 => [call] CollateralTokenTester.transferShares(0x587be02d13c624e65b3d98c33fdf3eea13aaaf97, 2200000000000000134) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=0, sender=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5)
					 => [event] Transfer(0x20be798cd0c8136a64c1cf225e2f7e6fc0b3e3a5, 0x587be02d13c624e65b3d98c33fdf3eea13aaaf97, 1820164542471598414)
					 => [event] TransferShares(0x20be798cd0c8136a64c1cf225e2f7e6fc0b3e3a5, 0x587be02d13c624e65b3d98c33fdf3eea13aaaf97, 2200000000000000134)
					 => [return (1820164542471598414)]
				 => [return ()]
			 => [return ()]
		 => [return (true, )]
	 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [event] LastGoodPriceUpdated(74280000000000000)
		 => [return (74280000000000000)]
	 => [call] CRLens.quoteRealNICR(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CRLens.getRealNICR(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000, true) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
			 => [call] CdpManager.syncAccounting(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (827347519305271956)]
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [event] LastGoodPriceUpdated(74280000000000000)
				 => [return (74280000000000000)]
			 => [call] CdpManager.getNominalICR(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [return (115792089237316195423570985008687907853269984665640564039457584007913129639935)]
			 => [revert]
		 => [return (115792089237316195423570985008687907853269984665640564039457584007913129639935)]
	 => [call] CdpManager.getICR(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000, 74280000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CollateralTokenTester.getPooledEthByShares(0) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (0)]
		 => [return (115792089237316195423570985008687907853269984665640564039457584007913129639935)]
	 => [call] CdpManager.getCdpCollShares(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] CdpManager.getCdpDebt(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] CdpManager.getCdpLiquidatorRewardShares(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] CdpManager.getCdpStatus(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (2)]
	 => [call] CdpManager.checkRecoveryMode(74280000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (2417363868667196737)]
		 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (28)]
		 => [call] CollateralTokenTester.getPooledEthByShares(2417363868667196737) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (2000000000000000453)]
		 => [return (false)]
	 => [call] CdpManager.stEthIndex() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (827347519305271956)]
	 => [call] CdpManager.DECIMAL_PRECISION() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1000000000000000000)]
	 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (827347519305271956)]
	 => [call] ActivePool.feeRecipientAddress() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0x940ffbeb88afdcaaa281ea675a6c5c3b39e99c74)]
	 => [call] CollateralTokenTester.sharesOf(0x940ffbeb88afdcaaa281ea675a6c5c3b39e99c74) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] ActivePool.getFeeRecipientClaimableCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] ActivePool.getFeeRecipientClaimableCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] CollateralTokenTester.balanceOf(0x587be02d13c624e65b3d98c33fdf3eea13aaaf97) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (827347519305271956000)]
	 => [call] EBTCTokenTester.balanceOf(0x587be02d13c624e65b3d98c33fdf3eea13aaaf97) (addr=0x8367820c2d14988Dd8a389e2a6D4D4EbFd107397, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1)]
	 => [call] SortedCdps.cdpCountOf(0x587be02d13c624e65b3d98c33fdf3eea13aaaf97) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] SortedCdps.getSize() (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1)]
	 => [call] CdpManager.getTCR(74280000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (2417363868667196737)]
		 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (28)]
		 => [call] CollateralTokenTester.getPooledEthByShares(2417363868667196737) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (2000000000000000453)]
		 => [return (5305714285714286916030000000000000)]
	 => [call] EBTCTokenTester.totalSupply() (addr=0x8367820c2d14988Dd8a389e2a6D4D4EbFd107397, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (28)]
	 => [call] CollateralTokenTester.getEthPerShare() (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (827347519305271956)]
	 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (28)]
	 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (2417363868667196737)]
	 => [call] CollSurplusPool.getTotalSurplusCollShares() (addr=0xA8896Ba6856F1Ee1b207Ff0B4f9cb6b12f014Dc4, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0)]
	 => [call] CdpManager.lastGracePeriodStartTimestamp() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (340282366920938463463374607431768211455)]
	 => [call] CdpManager.UNSET_TIMESTAMP() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (340282366920938463463374607431768211455)]
	 => [call] CdpManager.lastGracePeriodStartTimestamp() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (340282366920938463463374607431768211455)]
	 => [call] CdpManager.UNSET_TIMESTAMP() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (340282366920938463463374607431768211455)]
	 => [call] CdpManager.lastGracePeriodStartTimestamp() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (340282366920938463463374607431768211455)]
	 => [call] CdpManager.systemDebtRedistributionIndex() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (3935279424858821)]
	 => [call] CRLens.quoteRealTCR() (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CRLens.getRealTCR(true) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
			 => [call] CdpManager.syncGlobalAccountingAndGracePeriod() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (827347519305271956)]
				 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [event] LastGoodPriceUpdated(74280000000000000)
					 => [return (74280000000000000)]
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (2417363868667196737)]
				 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (28)]
				 => [call] CollateralTokenTester.getPooledEthByShares(2417363868667196737) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (2000000000000000453)]
				 => [event] TCRNotified(5305714285714286916030000000000000)
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [event] LastGoodPriceUpdated(74280000000000000)
				 => [return (74280000000000000)]
			 => [call] CdpManager.getTCR(74280000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (2417363868667196737)]
				 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (28)]
				 => [call] CollateralTokenTester.getPooledEthByShares(2417363868667196737) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (2000000000000000453)]
				 => [return (5305714285714286916030000000000000)]
			 => [revert]
		 => [return (5305714285714286916030000000000000)]
	 => [call] CRLens.quoteRealICR(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CRLens.getRealICR(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000, true) (addr=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
			 => [call] CdpManager.syncAccounting(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (827347519305271956)]
				 => [return ()]
			 => [call] PriceFeedTestnet.fetchPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=0, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [event] LastGoodPriceUpdated(74280000000000000)
				 => [return (74280000000000000)]
			 => [call] CdpManager.getICR(587be02d13c624e65b3d98c33fdf3eea13aaaf97000000120000000000000000, 74280000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xFC11D02bd1b627683935C7cD70B328Df9AF6275d)
				 => [call] CollateralTokenTester.getPooledEthByShares(0) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
					 => [return (0)]
				 => [return (115792089237316195423570985008687907853269984665640564039457584007913129639935)]
			 => [revert]
		 => [return (115792089237316195423570985008687907853269984665640564039457584007913129639935)]
	 => [call] CollateralTokenTester.getPooledEthByShares(2417363868667196737) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (2000000000000000453)]
	 => [call] CdpManager.MCR() (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (1100000000000000000)]
	 => [event] L4(825527354762800357585, 2000000000000000134, 200000000000000000, 827347519305271956000)
	 => [call] CollateralTokenTester.getPooledEthByShares(200000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (165469503861054391)]
	 => [return ()]

[Property Test Execution Trace]
[Execution Trace]
 => [call] EchidnaTester.echidna_GENERAL_08() (addr=0xA647ff3c36cFab592509E13860ab8c4F28781a66, value=0, sender=0x0000000000000000000000000000000000010000)
	 => [call] PriceFeedTestnet.getPrice() (addr=0x2bD1d3c3d60E56E6dd2e475D0d68e795B316c01b, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (74280000000000000)]
	 => [call] SortedCdps.getFirst() (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000087120000000000000002)]
	 => [call] CdpManager.getSyncedCdpCollShares(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000087120000000000000002) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (827347519305271956)]
		 => [return (2417363868667196737)]
	 => [call] CdpManager.getSyncedCdpDebt(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000087120000000000000002) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (27)]
	 => [call] SortedCdps.getNext(9c6a6b0ec78aa6e4b9bebd9dcee3f2b071377d07000087120000000000000002) (addr=0x17077f024dC43bC7A80A72C4D966556f93bD10F3, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (0000000000000000000000000000000000000000000000000000000000000000)]
	 => [call] CdpManager.getSyncedTCR(74280000000000000) (addr=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [call] CollateralTokenTester.getPooledEthByShares(1000000000000000000) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (827347519305271956)]
		 => [call] ActivePool.getSystemCollShares() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (2417363868667196737)]
		 => [call] ActivePool.getSystemDebt() (addr=0x20be798cD0C8136A64c1cf225e2f7E6Fc0b3e3A5, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (28)]
		 => [call] CollateralTokenTester.getPooledEthByShares(2417363868667196737) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xbdF4625F53BcC9F89A286DD4F09047555BE67Ae5)
			 => [return (2000000000000000453)]
		 => [return (5305714285714286916030000000000000)]
	 => [call] CollateralTokenTester.getPooledEthByShares(2417363868667196737) (addr=0x01375317AA980daaBF22f990a378ECCaD9B40dc0, value=<nil>, sender=0xA647ff3c36cFab592509E13860ab8c4F28781a66)
		 => [return (2000000000000000453)]
	 => [return (false)]
@rayeaster
Copy link

For this sequence, I would say it is similar to https://gist.github.com/GalloDaSballo/68046d8b089c4d29af40f31d197cc53a?permalink_comment_id=4714393#gistcomment-4714393

There is 1 wei difference between the sum of all CDP debts and the debt accounting in activePool after liquidation at step 5 due to rounding issue and is tracked by lastEBTCDebtErrorRedistribution.

And the debt number is so small (28 wei or 27 wei) thus the TCR comparison exceeds the expected tolerance limit:

2000000000000000453 (coll) * 74280000000000000 (price) / 28 (debt) vs
2000000000000000453 (coll) * 74280000000000000 (price) / 27 (debt)

The recommendation still holds for this sequence: "It might make sense for the invariant to compare the sum(cdpDebt) & activePool.getSystemDebt() directly. Similar for sum(cdpColl) & activePool.getSystemCollShares()"

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment