SRI-CSL / yices2 / 25387979943
67%
master: 67%

LAST BUILD BRANCH: smt2-algebraic-model-format
DEFAULT BRANCH: master
Ran
Jobs 1
Files 486
Run time 2min
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.711% (+0.02%) from 66.687%
25387979943

Pull #624

github

disteph 
test_issue_615: drop CHECK macro, use plain assert + (void)s

Match the codebase style: tests use assert() and rely on debug-mode
CI to catch regressions. Silence the release-mode unused-variable
warning on the smt_status_t locals with (void) s;.
Pull Request #624: Fix issue #615: crash in mcsat_value_construct_from_value during interpolation.

23 of 33 new or added lines in 3 files covered. (69.7%)

2 existing lines in 1 file now uncovered.

83505 of 125175 relevant lines covered (66.71%)

1644933.55 hits per line

Uncovered Changes

Lines Coverage ∆ File
6
2.48
 -0.02% src/api/yices_error.c
3
52.16
 -0.05% src/frontend/smt2/smt2_commands.c
1
43.75
 0.72% src/api/yices_api.c

Coverage Regressions

Lines Coverage ∆ File
2
2.48
 -0.02% src/api/yices_error.c
Jobs
ID Job ID Ran Files Coverage
1 25387979943.1 486
66.71
 GitHub Action Run
Source Files on build 25387979943