formalsec / smtml / 593
42%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 54
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: 41.771% (-0.03%) from 41.803%
593

push

github

filipeom 
Add bounded per-solver memoization of encoded expressions

Bounds memoization table to `1_000_000` entries. But default can be
overwritten with the environment variable `SMTMLT_MAX_MEMO_ENTRIES`.

18 of 26 new or added lines in 1 file covered. (69.23%)

31 existing lines in 2 files now uncovered.

2698 of 6459 relevant lines covered (41.77%)

38.48 hits per line

Uncovered Changes

Lines Coverage ∆ File
8
53.71
0.26% src/smtml/mappings.ml

Coverage Regressions

Lines Coverage ∆ File
17
50.54
-1.11% src/smtml/solver.ml
14
35.71
1.1% src/smtml/cache.ml
Jobs
ID Job ID Ran Files Coverage
1 593.1 54
41.77
GitHub Action Run
Source Files on build 593