formalsec / smtml
42%

DEFAULT BRANCH: main
Repo Added
Files 54
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

LAST BUILD ON BRANCH main
branch: SELECT
CHANGE BRANCH
x

coverage: 42.047% (+0.2%) from 41.889%
600

push

github

filipeom 
Add integration test for const arrays

2744 of 6526 relevant lines covered (42.05%)

38.39 hits per line

Relevant lines Covered
6526 RELEVANT LINES 2744 COVERED LINES
38.39 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
600 main Add integration test for const arrays push filipeom github
42.05
599 main Fix float simplifications push hra687261 github
41.89
598 main Fix runtest push hra687261 github
41.82
597 main Use atomic for recorded queries push hra687261 github
41.82
596 main Add unix to mdx's dependencies mdx introduced a dependency on unix in 2.6.0. Since we disable transitive dependencies by default we need to add it to mdx blocks as a dependency. push filipeom github
41.74
595 main Release 0.31.0 push filipeom github
41.74
594 main Fix testsuite push hra687261 github
41.74
593 main 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`. push filipeom github
41.77
591 main Fix SMT-LIB semantics on float nans and zeros push hra687261 github
41.8
590 main Fix colibri2 conflicts push filipeom github
41.79
See All Builds (409)