formalsec / smtml
45%

DEFAULT BRANCH: main
Repo Added
Files 12
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: 44.848% (+0.05%) from 44.802%
505

push

github

hra687261 
Add logic to query extraction (to print set-logic in extracted files)

962 of 2145 relevant lines covered (44.85%)

9.44 hits per line

Relevant lines Covered
2145 RELEVANT LINES 962 COVERED LINES
9.44 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
505 main Add logic to query extraction (to print set-logic in extracted files) push hra687261 github
44.85
504 main Add time filter for query extraction (exclude queries solver in less than 0.01 seconds) push hra687261 github
44.8
503 main Use `ppx_enumerate` to fet list of supported solvers push hra687261 github
44.71
502 main Disable the compilation of the benchmark runner push filipeom github
44.71
501 main Refactor: Migrate Yojson.Basic to Yojson.Safe (#469) push filipeom github
44.71
500 main Release 0.23.0 push filipeom github
44.71
498 main Use Logs in SMTZilla cmds push hra687261 github
44.71
497 main Make create-release.sh script update release PR if it exists push filipeom github
44.71
496 main cleanup push hra687261 github
44.71
495 main Release 0.22.0 push filipeom github
44.71
See All Builds (324)