SizeCredit / size-solidity / 16316503945
93%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 55
Run time 1min
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
coverage: 96.348% (+0.007%) from 96.341%
16316503945

push

github

web-flow 
v1.8 avoid unnecessary inverted curves check (#190)

* Update echidna/medusa to crytic-compile 0.3.10

* v1.8 - Avoid unnecessary inverted curves check

* Add slither.db.json to ignore calls-loop warning

* Use https://github.com/igorganich/halmos/tree/igorganich/nested_libs_fix

See https://github.com/a16z/halmos/issues/555

* Skip halmos on CI for long running tests

333 of 351 branches covered (94.87%)

Branch coverage included in aggregate %.

29 of 29 new or added lines in 2 files covered. (100.0%)

1751 of 1812 relevant lines covered (96.63%)

4343.18 hits per line

Jobs
ID Job ID Ran Files Coverage
1 16316503945.1 55
96.35
 GitHub Action Run
Source Files on build 16316503945