Ran
|
Jobs
1
|
Files
141
|
Run time
30s
|
Badge
Embed ▾
README BADGES
|
Lines | Coverage | ∆ | File |
---|---|---|---|
4 |
88.3 |
3.35% | /home/travis/build/Bo-Yuan-Huang/ILAng/src/smt-inout/chc_inv_callback_fn.cc |
16 |
64.06 |
0.02% | /home/travis/build/Bo-Yuan-Huang/ILAng/src/vtarget-out/inv-syn/grain_inv_parse.cc |
21 |
75.79 |
0.26% | /home/travis/build/Bo-Yuan-Huang/ILAng/src/vtarget-out/inv-syn/inv_obj.cc |
39 |
84.08 |
-5.65% | /home/travis/build/Bo-Yuan-Huang/ILAng/src/smt-inout/smt_ast.cc |
67 |
86.89 |
2.46% | /home/travis/build/Bo-Yuan-Huang/ILAng/src/smt-inout/chc_inv_in.cc |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 1033.1 (MATRIX_EVAL="CC=gcc-7 && CXX=g++-7") | 141 |
86.16 |
Travis Job 1033.1 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|