trailofbits / manticore / 1222263754
86%

DEFAULT BRANCH: master
Ran
Jobs 9
Files 83
Run time 37min
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
1222263754

push

github

GitHub 
Add last_executed_pc property to abstract CPU (#2475)

14 of 18 new or added lines in 2 files covered. (77.78%)

2 existing lines in 1 file now uncovered.

20666 of 23819 relevant lines covered (86.76%)

2.95 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
4
89.5
 -0.56% manticore/native/cpu/abstractcpu.py

Uncovered Existing Lines

Lines Coverage ∆ File
2
88.91
 -0.31% manticore/core/smtlib/solver.py
Jobs
ID Job ID Ran Files Coverage
1 1222263754.1 67
38.21
2 1222263754.2 67
25.59
3 1222263754.3 74
41.47
4 1222263754.4 59
48.57
5 1222263754.5 67
18.0
6 1222263754.6 67
24.85
7 1222263754.7 67
63.58
8 1222263754.8 67
36.34
9 1222263754.9 67
24.64
Source Files on build 1222263754