4656983265
99%

Ran 10 Apr 2023 11:22AM CUT

Jobs 1

Files 3

Run time 1s

Badge

Committed 10 Apr 2023 11:22AM CUT coverage: 99.074%. Remained the same

Build Type

push

github

Committed by coolhill

Commit Message

add certora verification reports for scUSDC and scWETH (#53)

Run Details

214 of 216 relevant lines covered (99.07%)

3243.97 hits per line

ID	Job ID	Ran	Files	Coverage
1	4656983265.1	10 Apr 2023 11:22AM CUT	3	99.07	GitHub Action Run

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
98.11	src/steth/scWETH.sol	421	106	104	2	5558.0 - 1.0
100.0	src/sc4626.sol	60	9	9	0	345.0
100.0	src/steth/scUSDC.sol	419	101	101	0	1182.0 - 1.0