tempus-finance / tempus-protocol / 2c7fc087-5304-449d-89b5-19c03681c87d
93%
master: 92%

LAST BUILD BRANCH: reviewed_branch
DEFAULT BRANCH: master
Ran
Jobs 2
Files 60
Run time 8min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
2c7fc087-5304-449d-89b5-19c03681c87d

Pull #558

circleci

StefanVitor 
ci: Add Echidna assertion test mode
Pull Request #558: ci: Add Echidna assertion test mode

320 of 386 branches covered (82.9%)

Branch coverage included in aggregate %.

1121 of 1165 relevant lines covered (96.22%)

359.5 hits per line

Jobs
ID Job ID Ran Files Coverage
1 2c7fc087-5304-449d-89b5-19c03681c87d.1 60
22.7
2 2c7fc087-5304-449d-89b5-19c03681c87d.2 60
92.07
Source Files on build 2c7fc087-5304-449d-89b5-19c03681c87d