Feat/add post open invariant

ebtc-protocol / ebtc

GNU General Public License v3.0

48 stars 24 forks source link

Closed rayeaster closed 5 months ago

rayeaster commented 5 months ago

"borrower can not open a CDP that is immediately liquidatable" as a post-open check for echidna & foundry tests
add overflow test for uint128 downcast of liquidatorRewardShare in CdpManager

getrecon-bot commented 5 months ago


Job ID	685d83dc-3b7a-454e-a773-4472df73a218
Command	`yarn && git submodule init && git submodule update && solc-select use 0.8.17 && cd packages/contracts/ && yarn echidna --test-mode assertion --test-limit 600000`
Instance ID	`i-0b09b3462543db8b8`
Instance Type	`c5.2xlarge`
Status	Started
Elapsed

getrecon-bot commented 5 months ago


Job ID	685d83dc-3b7a-454e-a773-4472df73a218
Command	`yarn && git submodule init && git submodule update && solc-select use 0.8.17 && cd packages/contracts/ && yarn echidna --test-mode assertion --test-limit 600000`
Instance ID	`i-0b09b3462543db8b8`
Instance Type	`c5.2xlarge`
Status	Running
Elapsed	39 seconds

getrecon-bot commented 5 months ago


Job ID	685d83dc-3b7a-454e-a773-4472df73a218
Command	`yarn && git submodule init && git submodule update && solc-select use 0.8.17 && cd packages/contracts/ && yarn echidna --test-mode assertion --test-limit 600000`
Instance ID	`i-0b09b3462543db8b8`
Instance Type	`c5.2xlarge`
Status	Running
Elapsed	40 seconds

getrecon-bot commented 5 months ago


Job ID	685d83dc-3b7a-454e-a773-4472df73a218
Command	`yarn && git submodule init && git submodule update && solc-select use 0.8.17 && cd packages/contracts/ && yarn echidna --test-mode assertion --test-limit 600000`
Instance ID	`i-0b09b3462543db8b8`
Instance Type	`c5.2xlarge`
Status	Success
Elapsed	1 day 14 hours 43 minutes 16 seconds