search

ebtc-protocol / ebtc

GNU General Public License v3.0
48 stars 24 forks source link

fix L12 by adding extra sum check #797

Closed rayeaster closed 4 weeks ago

rayeaster commented 4 months ago

add another check for L12 invariant from sum of all CDPs as a double confirm before considering it broken

getrecon-bot commented 4 months ago
Job ID c8c09342-4302-436b-bef2-38af5870fa89
Command yarn && git submodule init && git submodule update && solc-select use 0.8.17 && cd packages/contracts/ && yarn echidna --test-mode assertion --test-limit 300000
Instance ID i-0608ff2e3121d2322
Instance Type c5.2xlarge
Status Started
Elapsed
getrecon-bot commented 4 months ago
Job ID c8c09342-4302-436b-bef2-38af5870fa89
Command yarn && git submodule init && git submodule update && solc-select use 0.8.17 && cd packages/contracts/ && yarn echidna --test-mode assertion --test-limit 300000
Instance ID i-0608ff2e3121d2322
Instance Type c5.2xlarge
Status Running
Elapsed 1 minute 16 seconds
getrecon-bot commented 4 months ago
Job ID c8c09342-4302-436b-bef2-38af5870fa89
Command yarn && git submodule init && git submodule update && solc-select use 0.8.17 && cd packages/contracts/ && yarn echidna --test-mode assertion --test-limit 300000
Instance ID i-0608ff2e3121d2322
Instance Type c5.2xlarge
Status Running
Elapsed 1 minute 17 seconds
getrecon-bot commented 4 months ago
Job ID c8c09342-4302-436b-bef2-38af5870fa89
Command yarn && git submodule init && git submodule update && solc-select use 0.8.17 && cd packages/contracts/ && yarn echidna --test-mode assertion --test-limit 300000
Instance ID i-0608ff2e3121d2322
Instance Type c5.2xlarge
Status Success
Elapsed 22 hours 5 minutes 31 seconds