formalsec
/
smtml
45%
|
Repo Added
|
Files
12
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH main
coverage: 44.802% (+0.09%) from 44.709%
push
github
961 of 2145 relevant lines covered (44.8%)
9.45 hits per line
Relevant lines Covered
2145
RELEVANT LINES
961
COVERED LINES
9.45
HITS PER LINE
Source Files on main
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 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 |
|
| 494 | main | Run regexp tests in cvc5 integration tests | push | filipeom |
github |
44.71 |