Skip to content

Actions: diffblue/cbmc

Actions

Codecov coverage report

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yaml
1,290 workflow runs
1,290 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #8961 from tautschnig/release-6.9.0 Codecov coverage report #2025: Commit 0656298 pushed by tautschnig
51m 32s develop
develop
51m 32s
Release CBMC 6.9.0 Codecov coverage report #2024: Pull request #8961 synchronize by tautschnig
27m 56s tautschnig:release-6.9.0
tautschnig:release-6.9.0
27m 56s
Release CBMC 6.9.0 Codecov coverage report #2023: Pull request #8961 opened by tautschnig
49m 47s tautschnig:release-6.9.0
tautschnig:release-6.9.0
49m 47s
Merge pull request #8958 from tautschnig/fix-8813-follow-up Codecov coverage report #2022: Commit 2f62eea pushed by tautschnig
49m 3s develop
develop
49m 3s
Higher radix multiplier encoding Codecov coverage report #2021: Pull request #7991 synchronize by tautschnig
2h 30m 1s tautschnig:feature/multiplier-encoding
tautschnig:feature/multiplier-encoding
2h 30m 1s
Fix sub-byte bit placement in boolbv convert_byte_update Codecov coverage report #2020: Pull request #8960 synchronize by tautschnig
53m 39s tautschnig:fix-sub-byte-placement
tautschnig:fix-sub-byte-placement
53m 39s
Fix sub-byte bit placement in boolbv convert_byte_update Codecov coverage report #2019: Pull request #8960 opened by tautschnig
49m 16s tautschnig:fix-sub-byte-placement
tautschnig:fix-sub-byte-placement
49m 16s
Enable constant propagation of WITH, array, and struct expressions Codecov coverage report #2018: Pull request #8959 synchronize by tautschnig
47m 22s tautschnig:fix-8821
tautschnig:fix-8821
47m 22s
Enable constant propagation of WITH, array, and struct expressions Codecov coverage report #2017: Pull request #8959 synchronize by tautschnig
48m 11s tautschnig:fix-8821
tautschnig:fix-8821
48m 11s
Enable constant propagation of WITH, array, and struct expressions Codecov coverage report #2016: Pull request #8959 synchronize by tautschnig
47m 46s tautschnig:fix-8821
tautschnig:fix-8821
47m 46s
Enable constant propagation of WITH, array, and struct expressions Codecov coverage report #2015: Pull request #8959 synchronize by tautschnig
44m 21s tautschnig:fix-8821
tautschnig:fix-8821
44m 21s
Enable constant propagation of WITH, array, and struct expressions Codecov coverage report #2014: Pull request #8959 opened by tautschnig
43m 38s tautschnig:fix-8821
tautschnig:fix-8821
43m 38s
Decompose non-constant-offset byte_extract from union in field sensitivity Codecov coverage report #2013: Pull request #8958 synchronize by tautschnig
26m 45s tautschnig:fix-8813-follow-up
tautschnig:fix-8813-follow-up
26m 45s
Decompose non-constant-offset byte_extract from union in field sensitivity Codecov coverage report #2012: Pull request #8958 synchronize by tautschnig
27m 42s tautschnig:fix-8813-follow-up
tautschnig:fix-8813-follow-up
27m 42s
Decompose non-constant-offset byte_extract from union in field sensitivity Codecov coverage report #2011: Pull request #8958 synchronize by tautschnig
27m 30s tautschnig:fix-8813-follow-up
tautschnig:fix-8813-follow-up
27m 30s
Decompose non-constant-offset byte_extract from union in field sensitivity Codecov coverage report #2010: Pull request #8958 opened by tautschnig
26m 49s tautschnig:fix-8813-follow-up
tautschnig:fix-8813-follow-up
26m 49s
Merge pull request #8957 from diffblue/dependabot/github_actions/soft… Codecov coverage report #2009: Commit cfd7295 pushed by tautschnig
28m 45s develop
develop
28m 45s
Merge pull request #8950 from tautschnig/fix-8813-union-performance Codecov coverage report #2008: Commit f40d46c pushed by tautschnig
25m 46s develop
develop
25m 46s
Bump softprops/action-gh-release from 2 to 3 Codecov coverage report #2007: Pull request #8957 opened by dependabot bot
26m 27s dependabot/github_actions/softprops/action-gh-release-3
dependabot/github_actions/softprops/action-gh-release-3
26m 27s
Decompose byte_extract from union through widest member Codecov coverage report #2006: Pull request #8950 synchronize by tautschnig
26m 49s tautschnig:fix-8813-union-performance
tautschnig:fix-8813-union-performance
26m 49s
Merge pull request #8705 from tautschnig/byte_extract-multi-dim-array Codecov coverage report #2005: Commit 28b2b72 pushed by tautschnig
26m 27s develop
develop
26m 27s
Rewrite byte_extract from multi-dimensional array Codecov coverage report #2004: Pull request #8705 synchronize by tautschnig
28m 10s tautschnig:byte_extract-multi-dim-array
tautschnig:byte_extract-multi-dim-array
28m 10s
Decompose byte_extract from union through widest member Codecov coverage report #2003: Pull request #8950 synchronize by tautschnig
26m 57s tautschnig:fix-8813-union-performance
tautschnig:fix-8813-union-performance
26m 57s
Initialize nondet locals in regression tests Codecov coverage report #2002: Pull request #8956 synchronize by tautschnig
27m 6s tautschnig:no-uninit-locals
tautschnig:no-uninit-locals
27m 6s
Initialize nondet locals in regression tests Codecov coverage report #2001: Pull request #8956 opened by tautschnig
24m 15s tautschnig:no-uninit-locals
tautschnig:no-uninit-locals
24m 15s