trailofbits / manticore / 1068353718
87%
master: 86%

LAST BUILD BRANCH: test-multiple-pythons
DEFAULT BRANCH: master
Ran
Jobs 15
Files 83
Run time 11448min
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
1068353718

Pull #2472

github

GitHub 
Merge ceb68256e into 7144c73e4
Pull Request #2472: Fix WASM Symbolic tests

21320 of 24461 relevant lines covered (87.16%)

4.77 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
91.92
 10.95% manticore/core/manticore.py
5
83.02
 -1.17% manticore/core/workspace.py
19
80.61
 0.24% examples/script/concolic.py
Jobs
ID Job ID Ran Files Coverage
1 1068353718.1 67
39.95
2 1068353718.2 74
43.23
3 1068353718.3 67
25.73
4 1068353718.4 59
49.64
5 1068353718.5 67
18.38
6 1068353718.6 67
25.21
7 1068353718.7 67
39.95
8 1068353718.8 74
43.23
9 1068353718.9 67
25.73
10 1068353718.10 59
49.64
11 1068353718.11 67
18.38
12 1068353718.12 67
25.22
13 1068353718.13 67
64.58
14 1068353718.14 67
36.43
15 1068353718.15 67
25.01
Source Files on build 1068353718