Foundry DeFi Stablecoin CodeHawks Audit Contest
Cyfrin
DeFiFoundry
15,000 USDC
View results
Previous Next
Submission Details
Severity: low

Invariants tests failed (informational, possibly not a real finding)

Bad

Summary

Please don't punish my results for this finding, I'm merely showing you what I'm seeing as I'm not sure what I'm looking at directly (never done invariant testing personally just yet). I've made this a low risk issue in the event that my output is usable your end to potentially catch an issue that your testing might not have seen.

If it's a false positive, please ignore.

Vulnerability Details

Please see full output below, sorry if formatting is horrible. These tests ran for default and directly from the repo. Contract source was not edited either.

Ran 4 test suites: 46 tests passed, 2 failed, 0 skipped (48 total tests)
​
Failing tests:
Encountered 2 failing tests in test/fuzz/Invariants.t.sol:Invariants
[FAIL. Reason: Arithmetic over/underflow]
[Sequence]
sender=0x730c95c7a6c363ef5955acd989f4da00bf2e024a addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[667309325895226057541860282139862103681360831968 [6.673e47], 101184018252 [1.011e11]]
sender=0x00000000000000010ace1fc5f7776ec49fa98e59 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[101422947495483440356428412157 [1.014e29], 71443391825584809839817996505999 [7.144e31]]
sender=0x00000000000005c5604c288eec9de7b51434d2eb addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[782262112853239421751355508152681901528033389312532655591664688831 [7.822e65], 2]
sender=0x61b23dcb970deff3edf80f23ef05f28fb444be2d addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[1588831155608091562606683619187573618687489816932334591891801 [1.588e60], 2150467136415792819111497083 [2.15e27]]
sender=0x75a2acde678b718e45e6b2bbfd0cf9be4ef42b84 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[88564102712921995099821391378712840193023439774616323145336057411673691638118 [8.856e76], 20123208362919021759805409449062191806099066296721181560978247411138157239822 [2.012e76]]
sender=0x3900000000000000000000000000000000000000 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[9294988897448 [9.294e12], 18892660876479099866864841804431621349821396946279608972624072811249 [1.889e67]]
sender=0xff6296daa7a0e263d7ccfd3a9ab553ea3a6b2f31 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[246589567718993439593832443658364 [2.465e32], 115792089237316195423570985008687907853269984665640564039457584007913129639935 [1.157e77]]
sender=0x000000000000016b97e168cdefbe678b2fb70ce7 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[115792089237316195423570985008687907853269984665640564039457584007913129639934 [1.157e77], 2]
sender=0x00efa47a211e299dac06ea2a06f1e9bed1d43954 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[100875000607817551845989596 [1.008e26], 158456325028528675287819923815 [1.584e29]]
sender=0x000000000000016bb6aa28dca122db651ba864f1 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[532365834696856494798028396739973650108202 [5.323e41], 11642 [1.164e4]]
sender=0x00000000000000044dad2ca17091f3d503f226c4 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0xbc11a925ae368513ffffb3e01fa5012aa938193a addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[30049578511147215784808879450479995289350955785610179548834981538305666973696 [3.004e76], 34867785121721159362596066382540779270800544401708952831627837915 [3.486e64]]
sender=0x000000000000000362b2fdc8582588cb2597f005 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[70835586262225842323924673631476390166538790890236941849748226736697717058976 [7.083e76], 21805013104104035749936239562701237931894536195281787057316126364738726658048 [2.18e76]]
sender=0xdab277580907e566f8804eb84550adcd9fbe7388 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[91972958784402417189190186073676828183517052806396084240021959646281241252954 [9.197e76], 646608451760829231441666372477 [6.466e29]]
sender=0x00000000000000000000000005ae5229c97ab8c2 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[0, 115792089237316195423570985008687907853269984665640564039457584007913129639935 [1.157e77]]
sender=0x000000000000024b6b5247d15aa7a702fa8e4296 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[340952350742256826144926082881 [3.409e29], 6403397218865569141231227490637649138003611311109028521546376288191092982579 [6.403e75]]
sender=0x7b89d071fae6b3025964500b43178f5f2c2d849a addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[516806644360502008111009 [5.168e23], 115792089237316195423570985008687907853269984665640564039457584007913129639934 [1.157e77]]
sender=0x2033343430373930363034343633303332393834 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[115792089237316195423570985008687907853269984665640564039457584007913129639932 [1.157e77], 5861644728541315784425037106 [5.861e27]]
sender=0x0000000000000000000005efc49a848e3faa7fbb addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[115792089237316195423570985008687907853269984665640564039457584007913129639935 [1.157e77], 115792089237316195423570985008687907853269984665640564039457584007913129639935 [1.157e77]]
sender=0x13f4f096a3e1b3cab600ccee911a787c1cddf0a8 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x7b27b0a2f5921a68c355bb74cb7ef787bdf28fac addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[152690996332068275033060559453940659978183035 [1.526e44], 273671570906059762244823138896678614931665254583549562444592355259697 [2.736e68]]
sender=0x000000000000004ab71a82f763b24eb2fa2c9f26 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x789ab77d3bb2a7ab5d6fecf2764c826365ac606f addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[1372399 [1.372e6], 1034]
sender=0xf3c8d7f4a032ab5d022f00d9ab0c85e70f02abf5 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[115792089237316195423570985008687907853269984665640564039457584007913129639932 [1.157e77], 9259510714380004935333572335069536121758441240010856360825023945653 [9.259e66]]
sender=0x0000000000000093463906238ba73d30f2dedeb4 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0xf675e40b9c3874ad665d8b8e6c15f0b6295fa422 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x47aec97bf83e9be691b6a94e2fe9fd7baddb03a8 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[1327, 115792089237316195423570985008687907853269984665640564039457584007913129639933 [1.157e77]]
sender=0x0000000000000002d53aba09453d0d4a1353db2b addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0xfb23cc169b53a44b4b2b978af10e622ef372d9cc addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[519168511491334830882734319172108 [5.191e32], 61638413104 [6.163e10]]
sender=0x0000000000000153887771d1f399824559e7dd27 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[105373805047503528335538913740342311457681474181606442159877761138203310318106 [1.053e77], 332100581847786693432038029208 [3.321e29]]
sender=0x3753b72046771e9adbf18c5d51f1ad29c520be50 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0xfcde8d83c8fb5e97a2c85fad5fdfaef34e43ae46 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[4635240199107868935803841032467568547253 [4.635e39], 168796676272973309378111 [1.687e23]]
sender=0x0000000000000002f68506968e44fb27e0185a91 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[98836173545446716411957309772577808563422192957414966592430232701774197801332 [9.883e76], 58572420331095072173335076084000 [5.857e31]]
sender=0xf356286470f906b6f04dea64ea20b8d8557a2e43 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x0000000000358e2ad9ed9c95042203707640148e addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[250300734705449781652837238116038527 [2.503e35], 0]
sender=0xc8cfb2d5a88536c9942341dc2129bc898bec9d8c addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[984, 24068337238314821341580523191416717722769443110077897056731871883858267865088 [2.406e76]]
sender=0x0000000000000012afee3a0922b7da1af59cf5f2 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[4645002533507904830085368850809 [4.645e30], 79033463073636909921587167095414936239086 [7.903e40]]
sender=0x0000000000000006f5017ad3c885bf5bce6ae151 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[423272910989024503371994343076258241092733426436731603890760545304 [4.232e65], 15695291374568510368281046117721 [1.569e31]]
sender=0xe8ad943c50bb036e18f16d0adddbd1ec327ef2a1 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x7b08e1484cd097c78438d49d9b59646e2e9b47f9 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x00000000000000a0488a9faa5d57321cf458c06a addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[241809582994652154980100930387 [2.418e29], 165604315522640838578140981146 [1.656e29]]
sender=0x0b8b279b30253f4c19e923a564e29e06ca22321c addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[6709264327035043816842929 [6.709e24], 36920475309561050324189781809 [3.692e28]]
sender=0xee7b5a8598325e69b731fd1013f4ee2e42c9c490 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x0000000000000000000000000000000000196400 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[71443391825584809839817996516478 [7.144e31], 2573]
sender=0x000000000000000000000000000007a9152e24b7 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[175729117655286919242077545264 [1.757e29], 8197322189601391734156428276014139992582431685285600 [8.197e51]]
sender=0x0771c69b36ed642b79a25390e61900dec685eaff addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[30049578511147215784808879450479883262681680185912977353373541904571373402112 [3.004e76], 9168477109180287128751715882000 [9.168e30]]
sender=0x6705fb98338f62a57c890a8616d0bef0ee5052b8 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x948cd00afeb2f43681da12c377cfb24b69a7ba17 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[115792089237316195423570985008687907853269984665640564039457584007913129639935 [1.157e77], 115792089237316195423570985008687907853269984665640564039457584007913129639933 [1.157e77]]
sender=0xa01dbd91ba1c6fcd1cc128a5a9028c38172952c2 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x00000000000002009f99525660459e94b9b2160e addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[22259120433486373546719204329453068452592538767204613219894691874232357355520 [2.225e76], 13690874229900350227054798943000 [1.369e31]]
sender=0x4fb2af4f024a10e7f119aeda1718a00c0f134a73 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[115792089237316195423570985008687907853269984665640564039457584007913129639934 [1.157e77], 1115543806112797437204771769259477 [1.115e33]]
sender=0x00000000000000065efe69ea31a5f620b51a6724 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[6993304804588423549 [6.993e18], 92172123005561777486056968362 [9.217e28]]
sender=0x0000000000000000000000000000000000000727 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x00000000000000035e0f326b23482d32416eba86 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[115792089237316195423570985008687907853269984665640564039457584007913129639933 [1.157e77], 2]
sender=0x0000000000000000000000000000020d5d16f939 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[115792089237316195423570985008687907853269984665640564039457584007913129639934 [1.157e77], 1]
sender=0x9b309f6f1bed0cf0cccfdf35dad1a14de11f9aaa addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0xb08f7ab24d4c4ea48760e1482c0a41c1701eabc9 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[87910366766578575583404658849890610254945120921679715886552844451954371828984 [8.791e76], 26492767275555158637649830242 [2.649e28]]
sender=0xb358867c21ec8c526edeb2bd7a811a8990539fb9 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x14abb4bd89557960778a9daa576bb0d8b88ab66c addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x0000000000000003736554957218dc869dad2089 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0xf997915a9c0eafd3b002c87ed4d50fa5bd62ebed addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[3021265372169292280986458200779061756 [3.021e36], 115792089237316195423570985008687907853269984665640564039457584007913129639935 [1.157e77]]
sender=0x836d1810aa4d69d8170e1d0e86874241b4fb188e addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x0000000000000000000000000000000000000e63 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[44110338317043871324520351716666385761628500962 [4.411e46], 2099320957634527018253436561304870571024554208009752 [2.099e51]]
sender=0x3fc279f08f14026ea380fcc5ba3734238404d150 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[5257901611736219279140319424 [5.257e27], 557279690146757209334011846952 [5.572e29]]
sender=0x00000000000000000000000000000000000005ab addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[115792089237316195423570985008687907853269984665640564039457584007913129639932 [1.157e77], 115792089237316195423570985008687907853269984665640564039457584007913129639935 [1.157e77]]
sender=0x00000000000002371dab76af86d38b6ef3f753d5 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[309650157608819835006050843922560614779742811 [3.096e44], 610773311118049832475985117521361 [6.107e32]]
sender=0x0000000000000012afee3a0922b7da1af59cf5f5 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[8871912555695616574730585408357350 [8.871e33], 115792089237316195423570985008687907853269984665640564039457584007913129639932 [1.157e77]]
sender=0x00000000000000000000000000000000000001f2 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x2033343833323336383735303235333034303139 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[115792089237316195423570985008687907853269984665640564039457584007913129639933 [1.157e77], 408693418527645810049514 [4.086e23]]
sender=0x0000000000000000000000000002ed712798ac4b addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[1, 1308482243174 [1.308e12]]
sender=0x000000000000000000000000000000736f6c6344 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[5446995200265008679346781992558712116085330051672422859251376 [5.446e60], 863784378463895727698548 [8.637e23]]
sender=0x0000000000000000000000000000000000081a03 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x2031333632323930323538393132383534323730 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[3126421178971740 [3.126e15], 1]
sender=0x6c94c2a1b863a5f7508dcfad7f6e66add821621d addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[234838858344877104147851646568177787050831445957528 [2.348e50], 342671161775810204721824807331 [3.426e29]]
sender=0x00000000000000e18157d350a1d36ff34734ca3e addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[838, 18146620323620538085183064009204645557117275595695029170 [1.814e55]]
sender=0xc296ed5ba538b1c6728fa3136a25353d799b7321 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x0000000000000129fe9ab35b3923927b2e9dd621 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[427282464085479598041483654520 [4.272e29], 176719562118091487676264845119752 [1.767e32]]
sender=0x850de92e3e3e59faf4977dda062f9a8c9dba7a2c addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[25932596322 [2.593e10], 115792089237316195423570985008687907853269984665640564039457584007913129639932 [1.157e77]]
sender=0x0000000000000000000000000000000000000a1f addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[115792089237316195423570985008687907853269984665640564039457584007913129639934 [1.157e77], 4773403185654117304741419809047468156370517186775688380943 [4.773e57]]
sender=0x00000000000007c97232bb1fd5245a1a58b18740 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[8232690335525679345497059074760081571945500802254168016997 [8.232e57], 3]
sender=0x3b9e6bf31c5d5a8dc97297a9de1e067ddce20a60 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x0000000000000001b7244748d3f2d7d60f8f2449 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[1385083530982562088462930002977936520531040066273 [1.385e48], 115792089237316195423570985008687907853269984665640564039457584007913129639932 [1.157e77]]
sender=0x00000000000000027ba0b53297967afa0d149dbe addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[2838144383454592695046569500999 [2.838e30], 30049578511147215784808879450479860789412002661040750909009192928490672435251 [3.004e76]]
sender=0xaeba784e42b805e74ad5a2202417f1f1811df62b addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[761048267615263865706490837915634302283758357194 [7.61e47], 590916537858950876750927737875 [5.909e29]]
sender=0x24f16ace43c38e85add0bcdbc8662f6772ea1105 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x0000000000000004860cb95706a265d123d7a7b9 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[305680932924946876450379325810064475162582270094422914798 [3.056e56], 115792089237316195423570985008687907853269984665640564039457584007913129639935 [1.157e77]]
sender=0x000000000000000586e25d3f205100b3e73c9a60 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[4216622 [4.216e6], 33487218201 [3.348e10]]
sender=0x000000000000000164e2def276724b89b4097986 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0xe65a18d5dad07515ed971fc0a8394ffc5936f542 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[24196016652173716250846085885793 [2.419e31], 119959198678504141549510803688 [1.199e29]]
sender=0x000000000000000389167cda390ebf6a7a929536 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[30049578511147215784808879450479861051700311511516666345649470387495697907712 [3.004e76], 968583956 [9.685e8]]
sender=0x0000000000000001bfbf2ed3afd8235bdc366883 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0xd93b65ab0ff993af05bf1554043b426ba7b672ef addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[445995868794299125998462093637783937149921339841 [4.459e47], 4295335484759848802078215 [4.295e24]]
sender=0x73882566cbef3a5e81ede4e67f0d36e77bd9b5eb addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[39416496793631212893461 [3.941e22], 157475583957229421535293851004002432425832555 [1.574e44]]
sender=0x0000000000000001922bf90b47b88d2820a819ea addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[64710045653282990086361497926741274089480079081436153498322811504296393015 [6.471e73], 374304016762307590526352502836204776047148685322771324862984813 [3.743e62]]
sender=0x0000000000000002c537880a9baa4a9e985c16fb addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x2031393900000000000000000000000000000000 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x2036333039383139383830363136333932303230 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[18636757517555194746559884142813893915581 [1.863e40], 3]
sender=0x3900000000000000000000000000000000000000 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[219286596655430784650 [2.192e20], 41503494438438 [4.15e13]]
​
invariant_gettersCantRevert() (runs: 60, calls: 7650, reverts: 1)
[FAIL. Reason: Arithmetic over/underflow]
[Sequence]
sender=0x2033323800000000000000000000000000000000 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0xabb7f6629157070718fc7fdcf8251e414d52c405 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x00000000000000032c9699cddd0edc137913b613 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[115792089237316195423570985008687907853269984665640564039457584007913129639933 [1.157e77], 3]
sender=0xb92e81c2ded1bb2287c8855cebfbb7d2016b5eb0 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[16254488412332203330991372533101 [1.625e31], 115792089237316195423570985008687907853269984665640564039457584007913129639933 [1.157e77]]
sender=0x000000000000000374ce64e2d432434bbbf5b0c0 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[112456394094195395310781481854587 [1.124e32], 206288884653820147169872306827 [2.062e29]]
sender=0x0000000000000000000000000000000000001770 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[55104119582328500862173707426548696245525077050988382447449447689474064 [5.51e70], 1000880129728293412009131115321983454665833145131955 [1e51]]
sender=0x0000000000000000000000000000000000000007 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[115792089237316195423570985008687907853269984665640564039457584007913129639934 [1.157e77], 0]
sender=0x000000000000000675fa2af6ab06af6ab8b63ead addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x000000000000000000000000000000177418b16c addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[156279736318842480063060793456 [1.562e29], 39872316080259705745644612154845588497044806350496277856122394996126192752984 [3.987e76]]
sender=0x000000000000000ccce4218455ac296abbd76e5a addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[4041984867788935 [4.041e15], 257566914702876326498009445661102325589663804343130651 [2.575e53]]
sender=0xf2278c666a5006c1d4c1ec21c587f38ede9543b0 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[3, 1]
sender=0x00000000000000000000000000000000000005c8 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x0000000000000129779fd6a94e0bf49038aa9572 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[23610737732593814907130658841740593954727075712180489702403084775625068642304 [2.361e76], 388186196456008502849180170082028619300764458648488391899025737266149727888 [3.881e74]]
sender=0x0000000000000004ec18725c7007b33b0be25815 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0xdb329dbdec5c27b08c19e1886ca68f4abd2a01b6 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[84461727827769172222522679388714312659686274 [8.446e43], 115792089237316195423570985008687907853269984665640564039457584007913129639935 [1.157e77]]
sender=0x0000000000000b655dae4d8f44eddd63200a07f4 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x00000000000011e19e86c6aeb813f2f38ff24520 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[115792089237316195423570985008687907853269984665640564039457584007913129639932 [1.157e77], 268508219138072164721 [2.685e20]]
sender=0xe18cd2dd62122a7445efa3b50b6b5286045f8ab4 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[2, 1816040781880783566 [1.816e18]]
sender=0xf39c4d47b1fcfa545d5cbd0bc9c1388c217fa80d addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[115792089237316195423570985008687907853269984665640564039457584007913129639935 [1.157e77], 2]
sender=0x00000000000002b5b9cd9483a0b34cf085f97f66 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[1648, 85337070409544881132304198952956036681655009 [8.533e43]]
sender=0x00000000000000041c1bbf89af7a87d053ae5809 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[911742293241422922389227924128000 [9.117e32], 15502214922265241527074184748406 [1.55e31]]
sender=0x0000000000000000000000000000000000001537 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x00000000000002cb513251a5f770f744d39b1740 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[41348921128437770597205201113145015947368202727558704579841371695273214425420 [4.134e76], 115792089237316195423570985008687907853269984665640564039457584007913129639933 [1.157e77]]
sender=0x2031303138000000000000000000000000000000 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[115792089237316195423570985008687907853269984665640564039457584007913129639935 [1.157e77], 297790810025179998346216888653461552146448462594491074143 [2.977e56]]
sender=0x0000000000000001039d3b8dd0efe755d1b12f68 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x00000000000000000000000000000000000006db addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x0000000000000006e59ec29683429c1f32ee1fef addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[146273510762464174272910717953 [1.462e29], 30049578511147215784808879450479816101826194743148351096894396799248093937664 [3.004e76]]
sender=0x000000000000000079832f1225a755f90132036f addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[387784611972513233895680539323 [3.877e29], 100884476212438729399885837802205734505811449482370084371831169590892960313265 [1.008e77]]
sender=0xad8976c03a0eeebc55b4998a48be93c6034184f5 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x0b2855c06e778e0cfc124c58fdf3cc4f5f235c93 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[24745763723894355954922854680068822643269933837561646676881825983 [2.474e64], 1]
sender=0xf5515a16ff0c9a1081fa5de8ad4e15f801f33d83 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x0000000000000007229eb9ec8c31431e2b51dd14 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[2262922906339789920158542082999 [2.262e30], 24064844873781859810196685399117203916269364865425484926715213894131925385216 [2.406e76]]
sender=0x923f14572f27e86bee3bd625d0404ec7f7747c84 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x0000000000000002fa9080f9ef6afa3ae55686e1 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[254068545150823743136523 [2.54e23], 827658509107881907 [8.276e17]]
sender=0x9f50997e0e534e69804081460063a61f0a5a96f6 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[344658253631795628413557237556 [3.446e29], 37966474386531621748981691904 [3.796e28]]
sender=0x11bec6d7a15145b74eb5556ba534e985ca94b585 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[1, 3087035497620460006938912135272322172283704 [3.087e42]]
sender=0x00000000000000000000000000000000000009a3 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[30049578511147215784808879450479906000683079136113510965059406970171942764544 [3.004e76], 438128268350586586923199735115 [4.381e29]]
sender=0xe750f7428911f5389eb61f4af7eaa6cf71f8c9ab addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0xbc1c44cb492efb38bf6b8bb5f28c8787a89f9980 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[115792089237316195423570985008687907853269984665640564039457584007913129639935 [1.157e77], 0]
sender=0x0000000000000003f47089ffd6678ad0efa7f702 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[4740, 147992870934920316185300325104 [1.479e29]]
sender=0x00000000000000019b34ef79fcfffd46ad784f22 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[115792089237316195423570985008687907853269984665640564039457584007913129639934 [1.157e77], 71059967453211768 [7.105e16]]
sender=0x000000000000000205b1f0caf816b83fd8c868aa addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[115792089237316195423570985008687907853269984665640564039457584007913129639932 [1.157e77], 2]
sender=0x0000000000000000000000000000000000000229 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[115792089237316195423570985008687907853269984665640564039457584007913129639935 [1.157e77], 3993311652784291832915307 [3.993e24]]
sender=0x0000000000000000000000000000000000000b77 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[35828269832174957226803199136721 [3.582e31], 101159042806479290807706455742 [1.011e29]]
sender=0x66696369656e7420616c6c6f77616e6365000001 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[104405904646 [1.044e11], 149397266775353026130869411197469 [1.493e32]]
sender=0xc3dcfd47d70875ffeb2261d0fb02ccc163bd6b1e addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[524218809227032171245778509742852164551119 [5.242e41], 115792089237316195423570985008687907853269984665640564039457584007913129639933 [1.157e77]]
sender=0x33a1be63485d97f3aebe356a7bfb3da283154333 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[40493276550658276191147989440293559180094284255162581731486893419589655407103 [4.049e76], 275290765299524602446783126380 [2.752e29]]
sender=0x00000000000000000000000000000000000004e5 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[10926395363331269035353637374705954208651189197820852574278574202177947714 [1.092e73], 13518023446468113011817915067755855670311988372534304808953009869876522 [1.351e70]]
sender=0x2034393000000000000000000000000000000000 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[2375817463030572218822861403957191401669338702283523523579506455982608942 [2.375e72], 115792089237316195423570985008687907853269984665640564039457584007913129639935 [1.157e77]]
sender=0x0a93e655d6bebe916b30e95fe5bc3255ec2cd77c addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[183784638968172145803957100373435164356897669120 [1.837e47], 283559880289548974389286127249 [2.835e29]]
sender=0x7fc73d369d57d0735c83b4a46ed0b8990bf0b4a9 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[134363398967572162460539873971 [1.343e29], 199136125501417237314599720015 [1.991e29]]
sender=0x00000000000000000000000000000000e90db8a4 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x00000000000008dfa1cb7bc47a905f4d7c1a0a0f addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[3, 21902267399714521431442482769730306860 [2.19e37]]
sender=0x5ad359ee4f8fe7b08e541db4d1dbf45594979e17 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x00000000000000000000000000000000000007fd addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x0000000000000000d0511ea69e8b4be15e779cf4 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[115792089237316195423570985008687907853269984665640564039457584007913129639932 [1.157e77], 25404447854442871752266009860996288685189347950 [2.54e46]]
sender=0x000000000000000000000000000014582ce1b28b addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[138602381843657 [1.386e14], 48431427803828479115295065141 [4.843e28]]
sender=0x505076d2267e60a7ce2adb94c69a53cc9f5cb533 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[173841561192123771137616986535 [1.738e29], 26289395477851043694120584907496 [2.628e31]]
sender=0x000000000000000379832f1225a88b43f7520c0c addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x797d582dd35f2ed38e4a73f32aaa5fce8bcbd741 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[33234045569923686792490720130225070044196596205829471842753052455957808 [3.323e70], 1]
sender=0x0000000000000007700618c0bdde253c836e073a addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[115792089237316195423570985008687907853269984665640564039457584007913129639935 [1.157e77], 2]
sender=0x0000000000000002cf190298dc78cf7fce1f40a6 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[1, 1243707877224986090588929287969431341339425836389147516158430 [1.243e60]]
sender=0x00000000000000037ed0b1df419f2014ae143b59 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[1307408037345149287343801392167206893755317718415239565757672936300037114 [1.307e72], 49322499545426320984223664100192879673422008295755 [4.932e49]]
sender=0x00000000000000000000000000c9a13312a0f10b addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[1, 309982626614010249563911690791034329259386525500807565258 [3.099e56]]
sender=0x869b9bdea3875ec22006563719bd9ec66449eb96 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[1, 13507873915376171267691960336391326771727065762877742757709343510718019 [1.35e70]]
sender=0x000000000000003cdb295c494ee07e048a74e541 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[3, 7683293274300245382483687211 [7.683e27]]
sender=0x7b79287e30362969becefc665bd25c83e69a87cd addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[4099, 1439415086234342373739283546907084753138463361672 [1.439e48]]
sender=0x7a91bd86bb4f751fe9722179f72fb585154acb96 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[3894, 0]
sender=0x4ba7bafdeb79baa847f0849e6f8b9a7da5afcb69 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[3, 376287030581401341555 [3.762e20]]
sender=0x00000000000000000000000000b178ceb732b005 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[18285609257219326422582219834748062440315227575442935217023344 [1.828e61], 115792089237316195423570985008687907853269984665640564039457584007913129639934 [1.157e77]]
sender=0x0000000000000000000000000000000000000138 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x219e72cc382fbeb23964730c03ccb22d137eee9e addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[30049578511147215784808879450479906085761646218336448831858513606297177698612 [3.004e76], 31158602634364894746077179345836257736929189381617633297160765950911001304461 [3.115e76]]
sender=0xc8f5a707a4b6ff0ae8e0077862325a37ea16666f addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[39138727144700079626486733834214699169408111032282626921430829258076354333647 [3.913e76], 115792089237316195423570985008687907853269984665640564039457584007913129639935 [1.157e77]]
sender=0x00000000000000258885cad75ba7c8f71538c6f8 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[167047149066690326661006243457 [1.67e29], 24061290609320781412654272945371415553263980992962387516758775999226749911040 [2.406e76]]
sender=0x05f2bba7e8d563397dec1550e51d9ca9c4535573 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0xdd7c7074368d3744cb67ea751c886f2006b273f9 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[260793778657180983462621360064275 [2.607e32], 2]
sender=0x0000000000000000e6df0142dfc755d42af77340 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[4517848088686690418532311419343528922595586045157 [4.517e48], 115792089237316195423570985008687907853269984665640564039457584007913129639932 [1.157e77]]
sender=0x0000000000000004096d1b0385798f1801940a1a addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[115792089237316195423570985008687907853269984665640564039457584007913129639935 [1.157e77], 32597167396096767 [3.259e16]]
sender=0x00000000000000ce8ad31ea6ce6cb026164ace73 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[41163628790362076988126900974486058390464492877064327267227470085057518055047 [4.116e76], 23776481983520474767360875938386239158549890937693587431555218947961708183590 [2.377e76]]
sender=0x0000000000000000000020f640079d09920f90ba addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x0814704a715dc129d4041bbe5eec2704a468e63a addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[90554370267587122567593097524944592793940610334186275469084649080590724314673 [9.055e76], 4254]
sender=0x00000000000004e00e9b49c8f47f9a91dc02dbd5 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x00000000000000c952679554a288c383f3d0672b addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[17693315880402247681616638270 [1.769e28], 27135209041651811590469002818322105371002373657379699327750088151756583219590 [2.713e76]]
sender=0xad63d7a328f7ad0d171847cd9be992c6abb5e0c2 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[4927, 425917167773424266252883770728 [4.259e29]]
sender=0xde31fc342d37b6ae20e42ccd0ddd36bedc2514db addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[115792089237316195423570985008687907853269984665640564039457584007913129639935 [1.157e77], 115792089237316195423570985008687907853269984665640564039457584007913129639935 [1.157e77]]
sender=0x0000000000000000a3a69ea599d3dbd7c684b7cc addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[115792089237316195423570985008687907853269984665640564039457584007913129639935 [1.157e77], 1]
sender=0x00000000000000000000000000000000006df0f0 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[5208, 18411359025279815125253568265563250960512721715459860033693194953127818586432 [1.841e76]]
sender=0x000000000000000620a62b36e3e537c9535e09f2 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[8200250255322960522818106960743 [8.2e30], 115792089237316195423570985008687907853269984665640564039457584007913129639934 [1.157e77]]
sender=0x00000000000001c962cf19a683e61bc6966d198c addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[99957261718813188137578041503452606 [9.995e34], 3]
sender=0x5d9da51877379c3c4de8787fec821d3e0650ddf1 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0x2d68f01ba997bb0c230cbedb38e6098600e67ea2 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[4266854043420940127136391 [4.266e24], 2273511389567485907069981348 [2.273e27]]
sender=0x000000000000000100000000000000176e34b794 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[115792089237316195423570985008687907853269984665640564039457584007913129639934 [1.157e77], 2]
sender=0x73022744b9c0f8a497ba74a8f5c7e092175620bf addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[2267, 11046300143385139156200134143 [1.104e28]]
sender=0x4fc6ae2ebd257ec8bad6b02af53f9ffc6482646e addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0xddc97e17bb1966142ea6827b25c125e0c0664374 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[355889300203017882522014747177 [3.558e29], 52568027204718786018581578332 [5.256e28]]
sender=0x000000000000000003a640438c2cd8a49d58cd89 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[8619526021121326297684418331725869188262301688300285701273135994950558811429 [8.619e75], 8664488628231197983518521366132831592927 [8.664e39]]
sender=0x97cb401f6afcda5683af1f4373a52ce9bc957a69 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[2, 0]
sender=0xf1b03f6573059c92826c5a3a6130e13fe25018c1 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[441904523907915373029833196331 [4.419e29], 462871470103851016009081918400 [4.628e29]]
sender=0x1415309e1e6fa6d7093da60ca1a08d45e5f45873 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[4131376863228229849386972822242726110245229 [4.131e42], 88256444642234881491710034751574628685711705062128326477664410533411742 [8.825e70]]
sender=0x2034383337343538343337393635373038343935 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[54316585958808965971854935096394255719979813186694325072736125841027530858681 [5.431e76], 45278296859504432951966661977785033334108756298106624 [4.527e52]]
sender=0x0000000000000000f2310f151ee499bd1662d286 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=mintDsc(uint256,uint256), args=[304, 54490796636571734380009726054364888247703179567971962979128869656483095415069 [5.449e76]]
sender=0xf6ef572a1f68823be8b886827045228068476d44 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=depositCollateral(uint256,uint256), args=[5028138354453905666811411279692 [5.028e30], 476]
sender=0x232e81f91be9e05fb8da541c9ff86dbf3ced7c19 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=failed():(bool), args=[]
sender=0xddc97e17bb1966142ea6827b25c125e0c0664374 addr=[test/fuzz/Handler.t.sol:Handler]0x2a9e8fa175f45b235efddd97d2727741ef4eee63 calldata=redeemCollateral(uint256,uint256), args=[115792089237316195423570985008687907853269984665640564039457584007913129639935 [1.157e77], 802368441223357071860809143269058122336629209497392217494 [8.023e56]]
​
invariant_protocolMustHaveMoreValueThanTotalSupply() (runs: 45, calls: 5736, reverts: 1)
​
Encountered a total of 2 failing tests, 46 tests succeeded

Impact

Unknown

Tools Used

  • VS Code

  • Foundry

  • Manual reading

Recommendations

Personally, I've never done invariant testing - but arithmetic reverts don't sound good?!

Support

FAQs

Can't find an answer? Chat with us on Discord, Twitter or Linkedin.