SRI-CSL / yices2 / 25302889838
67%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 486
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: 66.687% (+0.002%) from 66.685%
25302889838

push

github

web-flow 
Merge pull request #590 from SRI-CSL/fix-iss-414

fixes #414
Discovered an existing issue, added a guard to prevent incorrect answer; fixing the guard is Issue #621

65 of 80 new or added lines in 6 files covered. (81.25%)

37 existing lines in 8 files now uncovered.

83456 of 125146 relevant lines covered (66.69%)

1645639.24 hits per line

Uncovered Changes

Lines Coverage ∆ File
12
90.45
 -1.56% src/mcsat/preprocessor.c
1
86.05
 -0.13% src/frontend/smt2/smt2_printer.c
1
33.65
 -1.75% src/io/concrete_value_printer.c
1
67.34
 0.15% src/model/concrete_values.c

Coverage Regressions

Lines Coverage ∆ File
16
88.99
 -1.28% src/terms/terms.c
12
80.01
 -0.58% src/terms/term_utils.c
2
86.4
 -0.34% src/mcsat/bv/bv_bdd_manager.c
2
72.84
 -0.18% src/mcsat/eq/equality_graph.c
2
90.45
 -1.56% src/mcsat/preprocessor.c
1
61.17
 -0.11% src/mcsat/bv/explain/arith.c
1
78.84
 -0.07% src/mcsat/solver.c
1
58.2
 0.29% src/terms/types.c
Jobs
ID Job ID Ran Files Coverage
1 25302889838.1 486
66.69
 GitHub Action Run
Source Files on build 25302889838