formalsec / smtml
48%

DEFAULT BRANCH: main
Repo Added
Files 52
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: 48.354% (-0.002%) from 48.356%
537

push

github

hra687261 
Move feature conversion from feature_extraction.ml to feature.ml

132 of 169 new or added lines in 2 files covered. (78.11%)

33 existing lines in 2 files now uncovered.

2423 of 5011 relevant lines covered (48.35%)

41.17 hits per line

Relevant lines Covered
5011 RELEVANT LINES 2423 COVERED LINES
41.17 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
537 main Move feature conversion from feature_extraction.ml to feature.ml push hra687261 github
48.35
536 main Improve failure info in mappings push filipeom github
48.36
535 main Remove dep on rresult push hra687261 github
48.29
534 main Add SMTZilla examples where different solvers are used push hra687261 github
48.28
533 main Expose raw evaluation of binop and relop in eval.ml push filipeom github
48.3
532 main Connect `String_last_index` to z3 and expose to solver mappings push filipeom github
48.27
531 main Update dune-site and dune-build-info lowerbounds push filipeom github
48.28
530 main Release 0.26.0 push filipeom github
48.24
529 main Disable implicit transitive deps push filipeom github
48.24
528 main Add rresult to dune-project push filipeom github
48.29
See All Builds (353)