iden3 / contracts / 27035919953
85%
master: 85%

LAST BUILD BRANCH: PID-3817-smt-lib-updates
DEFAULT BRANCH: master
Ran
Jobs 1
Files 81
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: 85.447% (-0.05%) from 85.497%
27035919953

Pull #443

github

daveroga 
fix cyclomatic-complexity solhint
Pull Request #443: Add updateLeaf, removeLeaf to SmtLib

91 of 108 new or added lines in 2 files covered. (84.26%)

45 existing lines in 5 files now uncovered.

3511 of 4109 relevant lines covered (85.45%)

0.85 hits per line

Uncovered Changes

Lines Coverage ∆ File
17
93.39
 -4.45% contracts/lib/SmtLib.sol

Coverage Regressions

Lines Coverage ∆ File
14
82.5
 0.0% contracts/state/State.sol
11
93.39
 -4.45% contracts/lib/SmtLib.sol
8
48.28
 0.0% contracts/lib/IdentityBase.sol
7
90.71
 0.0% contracts/lib/IdentityLib.sol
5
37.5
 0.0% contracts/test-helpers/IdentityExample.sol
Jobs
ID Job ID Ran Files Coverage
1 27035919953.1 81
85.45
 GitHub Action Run
Source Files on build 27035919953