iden3 / contracts / 27020959173
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.347% (-0.2%) from 85.497%
27020959173

Pull #443

github

daveroga 
add updateLeaf, removeLeaf and tests
Pull Request #443: Add updateLeaf, removeLeaf to SmtLib

98 of 121 new or added lines in 2 files covered. (80.99%)

45 existing lines in 5 files now uncovered.

3518 of 4122 relevant lines covered (85.35%)

0.85 hits per line

Uncovered Changes

Lines Coverage ∆ File
23
91.91
 -5.94% contracts/lib/SmtLib.sol

Coverage Regressions

Lines Coverage ∆ File
14
82.5
 0.0% contracts/state/State.sol
11
91.91
 -5.94% 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 27020959173.1 81
85.35
 GitHub Action Run
Source Files on build 27020959173