Skip to content

Actions: diffblue/cbmc

Actions

Codecov coverage report

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yaml
951 workflow runs
951 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #8646 from tautschnig/language_mode-protected Codecov coverage report #1070: Commit b0156a3 pushed by tautschnig
September 15, 2025 12:08 29m 56s develop
develop
September 15, 2025 12:08 29m 56s
Merge pull request #8712 from tautschnig/remove-function-body-regex Codecov coverage report #1069: Commit 43cb7a6 pushed by tautschnig
September 15, 2025 08:40 31m 51s develop
develop
September 15, 2025 08:40 31m 51s
Add remove-function-body-regex command line option Codecov coverage report #1068: Pull request #8712 synchronize by tautschnig
September 13, 2025 20:24 33m 34s tautschnig:remove-function-body-regex
tautschnig:remove-function-body-regex
September 13, 2025 20:24 33m 34s
Add remove-function-body-regex command line option Codecov coverage report #1067: Pull request #8712 synchronize by tautschnig
September 13, 2025 20:21 34m 16s tautschnig:remove-function-body-regex
tautschnig:remove-function-body-regex
September 13, 2025 20:21 34m 16s
Make goto_symext::language_mode protected Codecov coverage report #1066: Pull request #8646 synchronize by tautschnig
September 12, 2025 18:27 40m 35s tautschnig:language_mode-protected
tautschnig:language_mode-protected
September 12, 2025 18:27 40m 35s
Add remove-function-body-regex command line option Codecov coverage report #1065: Pull request #8712 synchronize by tautschnig
September 12, 2025 18:26 34m 55s tautschnig:remove-function-body-regex
tautschnig:remove-function-body-regex
September 12, 2025 18:26 34m 55s
Merge pull request #8711 from tautschnig/no-install-cmake Codecov coverage report #1064: Commit 6c3978f pushed by tautschnig
September 12, 2025 18:25 48m 21s develop
develop
September 12, 2025 18:25 48m 21s
Add remove-function-body-regex command line option Codecov coverage report #1063: Pull request #8712 synchronize by tautschnig
September 12, 2025 16:39 35m 5s tautschnig:remove-function-body-regex
tautschnig:remove-function-body-regex
September 12, 2025 16:39 35m 5s
Add remove-function-body-regex command line option Codecov coverage report #1062: Pull request #8712 synchronize by tautschnig
September 12, 2025 13:57 50m 42s tautschnig:remove-function-body-regex
tautschnig:remove-function-body-regex
September 12, 2025 13:57 50m 42s
Add remove-function-body-regex command line option Codecov coverage report #1061: Pull request #8712 synchronize by tautschnig
September 12, 2025 13:25 53m 30s tautschnig:remove-function-body-regex
tautschnig:remove-function-body-regex
September 12, 2025 13:25 53m 30s
Add remove-function-body-regex command line option Codecov coverage report #1060: Pull request #8712 synchronize by tautschnig
September 12, 2025 12:59 22m 19s tautschnig:remove-function-body-regex
tautschnig:remove-function-body-regex
September 12, 2025 12:59 22m 19s
Add remove-function-body-regex command line option Codecov coverage report #1059: Pull request #8712 opened by tautschnig
September 12, 2025 12:50 17m 2s tautschnig:remove-function-body-regex
tautschnig:remove-function-body-regex
September 12, 2025 12:50 17m 2s
MacOS CI job: do not re-install CMake Codecov coverage report #1058: Pull request #8711 synchronize by tautschnig
September 12, 2025 11:51 1h 8m 37s tautschnig:no-install-cmake
tautschnig:no-install-cmake
September 12, 2025 11:51 1h 8m 37s
MacOS CI job: do not re-install CMake Codecov coverage report #1057: Pull request #8711 opened by tautschnig
September 12, 2025 11:51 49m 34s tautschnig:no-install-cmake
tautschnig:no-install-cmake
September 12, 2025 11:51 49m 34s
Make goto_symext::language_mode protected Codecov coverage report #1056: Pull request #8646 synchronize by tautschnig
September 12, 2025 11:40 55m 39s tautschnig:language_mode-protected
tautschnig:language_mode-protected
September 12, 2025 11:40 55m 39s
Merge pull request #8643 from tautschnig/unwindsett-constructor Codecov coverage report #1055: Commit 15b0003 pushed by kroening
August 24, 2025 00:44 29m 0s develop
develop
August 24, 2025 00:44 29m 0s
Merge pull request #8653 from tautschnig/no-special-case Codecov coverage report #1054: Commit 1803cbb pushed by tautschnig
August 21, 2025 10:36 32m 27s develop
develop
August 21, 2025 10:36 32m 27s
Merge pull request #8651 from tautschnig/value-set-fi-fix Codecov coverage report #1053: Commit aa0586b pushed by tautschnig
August 21, 2025 10:34 29m 22s develop
develop
August 21, 2025 10:34 29m 22s
Merge pull request #8694 from tautschnig/dfcc-generate-no-warn Codecov coverage report #1052: Commit c7ef2ac pushed by tautschnig
August 21, 2025 10:33 28m 51s develop
develop
August 21, 2025 10:33 28m 51s
Merge pull request #8697 from tautschnig/contracts-inlining-warnings Codecov coverage report #1051: Commit b09ec1d pushed by tautschnig
August 21, 2025 07:42 27m 45s develop
develop
August 21, 2025 07:42 27m 45s
Merge pull request #8709 from diffblue/dependabot/github_actions/acti… Codecov coverage report #1050: Commit 9d7b6da pushed by tautschnig
August 19, 2025 09:56 49m 1s develop
develop
August 19, 2025 09:56 49m 1s
Bump actions/checkout from 4 to 5 Codecov coverage report #1049: Pull request #8709 opened by dependabot bot
August 18, 2025 00:12 49m 39s dependabot/github_actions/actions/checkout-5
dependabot/github_actions/actions/checkout-5
August 18, 2025 00:12 49m 39s
Value-set supported simplifier: add object_size, is_invalid_pointer Codecov coverage report #1048: Pull request #8704 synchronize by tautschnig
August 7, 2025 11:45 42m 22s tautschnig:simp-more-predicates
tautschnig:simp-more-predicates
August 7, 2025 11:45 42m 22s
Value-set supported simplifier: add object_size, is_invalid_pointer Codecov coverage report #1047: Pull request #8704 synchronize by tautschnig
August 6, 2025 17:48 26m 40s tautschnig:simp-more-predicates
tautschnig:simp-more-predicates
August 6, 2025 17:48 26m 40s
Rewrite byte_extract from multi-dimensional array Codecov coverage report #1046: Pull request #8705 opened by tautschnig
August 6, 2025 17:22 27m 40s tautschnig:byte_extract-multi-dim-array
tautschnig:byte_extract-multi-dim-array
August 6, 2025 17:22 27m 40s