Ran
|
Jobs
1
|
Files
147
|
Run time
9s
|
Badge
Embed ▾
README BADGES
|
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
91.1 |
-0.39% | /home/travis/build/Bo-Yuan-Huang/ILAng/src/ilang++.cc |
5 |
93.51 |
-1.95% | /home/travis/build/Bo-Yuan-Huang/ILAng/src/target-sc/ilator_dfs.cc |
7 |
92.52 |
2.65% | /home/travis/build/Bo-Yuan-Huang/ILAng/src/ila-mngr/u_rewrite_expr.cc |
7 |
96.25 |
-0.73% | /home/travis/build/Bo-Yuan-Huang/ILAng/src/ila-mngr/u_unroller.cc |
19 |
81.82 |
2.28% | /home/travis/build/Bo-Yuan-Huang/ILAng/src/ila-mngr/u_smt_switch.cc |
29 |
92.57 |
-2.25% | /home/travis/build/Bo-Yuan-Huang/ILAng/src/target-sc/ilator.cc |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 1005.1 (COVERITY_SCAN_TOKEN=[secure] MATRIX_EVAL="CC=gcc-7 && CXX=g++-7") | 147 |
86.1 |
Travis Job 1005.1 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|