Skip to content

Actions: diffblue/cbmc

Actions

Codecov coverage report

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yaml
928 workflow runs
928 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stop using GNU parallel on windows-2022 runner Codecov coverage report #949: Pull request #8669 synchronize by tautschnig
June 27, 2025 10:37 27m 15s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 10:37 27m 15s
Stop using GNU parallel on windows-2022 runner Codecov coverage report #948: Pull request #8669 synchronize by tautschnig
June 27, 2025 09:22 27m 18s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 09:22 27m 18s
Stop using GNU parallel on windows-2022 runner Codecov coverage report #947: Pull request #8669 synchronize by tautschnig
June 27, 2025 08:42 27m 36s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 08:42 27m 36s
Stop using GNU parallel on windows-2022 runner Codecov coverage report #946: Pull request #8669 opened by tautschnig
June 27, 2025 08:17 27m 44s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 08:17 27m 44s
Merge pull request #8666 from tautschnig/remove-make_with_expr Codecov coverage report #945: Commit 4cc3f54 pushed by kroening
June 27, 2025 04:53 30m 27s develop
develop
June 27, 2025 04:53 30m 27s
Fix support for with_exprt with more than 3 operands Codecov coverage report #944: Pull request #8668 opened by tautschnig
June 26, 2025 20:12 27m 10s tautschnig:with-expr-fixes
tautschnig:with-expr-fixes
June 26, 2025 20:12 27m 10s
Merge pull request #8667 from tautschnig/release-6.7.0 Codecov coverage report #943: Commit 5d1438a pushed by tautschnig
June 26, 2025 11:52 27m 40s develop
develop
June 26, 2025 11:52 27m 40s
Release CBMC 6.7.0 Codecov coverage report #942: Pull request #8667 synchronize by tautschnig
June 25, 2025 20:51 28m 10s tautschnig:release-6.7.0
tautschnig:release-6.7.0
June 25, 2025 20:51 28m 10s
Release CBMC 6.7.0 Codecov coverage report #941: Pull request #8667 synchronize by tautschnig
June 25, 2025 20:35 27m 33s tautschnig:release-6.7.0
tautschnig:release-6.7.0
June 25, 2025 20:35 27m 33s
Release CBMC 6.7.0 Codecov coverage report #940: Pull request #8667 opened by tautschnig
June 25, 2025 18:57 45m 1s tautschnig:release-6.7.0
tautschnig:release-6.7.0
June 25, 2025 18:57 45m 1s
Merge pull request #8649 from tautschnig/fix-quantifier-conversion Codecov coverage report #939: Commit eeb8689 pushed by remi-delmas-3000
June 25, 2025 18:40 47m 10s develop
develop
June 25, 2025 18:40 47m 10s
Merge pull request #8627 from tautschnig/simp_mult_offset Codecov coverage report #938: Commit 2bba498 pushed by tautschnig
June 25, 2025 18:23 46m 10s develop
develop
June 25, 2025 18:23 46m 10s
Merge pull request #8450 from tautschnig/no-make_and Codecov coverage report #937: Commit c524281 pushed by tautschnig
June 25, 2025 18:21 44m 4s develop
develop
June 25, 2025 18:21 44m 4s
Field sensitivity: account for array size in all index expressions Codecov coverage report #936: Pull request #8579 synchronize by tautschnig
June 25, 2025 10:51 27m 29s tautschnig:bugfixes/field-sensitivity-union
tautschnig:bugfixes/field-sensitivity-union
June 25, 2025 10:51 27m 29s
Deprecate make_and in favour of conjunction(expr, expr) Codecov coverage report #935: Pull request #8450 synchronize by tautschnig
June 25, 2025 09:40 45m 47s tautschnig:no-make_and
tautschnig:no-make_and
June 25, 2025 09:40 45m 47s
Deprecate make_and in favour of conjunction(expr, expr) Codecov coverage report #934: Pull request #8450 synchronize by tautschnig
June 25, 2025 08:46 1h 2m 50s tautschnig:no-make_and
tautschnig:no-make_and
June 25, 2025 08:46 1h 2m 50s
Simplify multiple-of-element size access to arrays Codecov coverage report #933: Pull request #8627 synchronize by tautschnig
June 25, 2025 08:43 44m 58s tautschnig:simp_mult_offset
tautschnig:simp_mult_offset
June 25, 2025 08:43 44m 58s
Merge pull request #8572 from tautschnig/arm-ci Codecov coverage report #932: Commit 5cd085b pushed by tautschnig
June 25, 2025 08:42 30m 35s develop
develop
June 25, 2025 08:42 30m 35s
Move is_{true,false,zero,one} from exprt to constant_exprt Codecov coverage report #931: Pull request #8664 synchronize by tautschnig
June 25, 2025 08:37 1h 2m 53s tautschnig:constant_exprt-is
tautschnig:constant_exprt-is
June 25, 2025 08:37 1h 2m 53s
Remove deprecated make_with_expr Codecov coverage report #930: Pull request #8666 opened by tautschnig
June 25, 2025 08:33 39m 50s tautschnig:remove-make_with_expr
tautschnig:remove-make_with_expr
June 25, 2025 08:33 39m 50s
Remove deprecated is_null_pointer Codecov coverage report #929: Pull request #8665 opened by tautschnig
June 25, 2025 08:31 30m 12s tautschnig:remove-is_null_pointer
tautschnig:remove-is_null_pointer
June 25, 2025 08:31 30m 12s
Deprecate make_and in favour of conjunction(expr, expr) Codecov coverage report #928: Pull request #8450 synchronize by tautschnig
June 25, 2025 08:25 44m 19s tautschnig:no-make_and
tautschnig:no-make_and
June 25, 2025 08:25 44m 19s
Move is_{true,false,zero,one} from exprt to constant_exprt Codecov coverage report #927: Pull request #8664 opened by tautschnig
June 25, 2025 08:13 44m 30s tautschnig:constant_exprt-is
tautschnig:constant_exprt-is
June 25, 2025 08:13 44m 30s
C library: Refine and improve stdio models Codecov coverage report #926: Pull request #8043 synchronize by tautschnig
June 25, 2025 07:43 33m 40s tautschnig:bugfixes/stdio
tautschnig:bugfixes/stdio
June 25, 2025 07:43 33m 40s
Make goto_symext::language_mode protected Codecov coverage report #925: Pull request #8646 synchronize by tautschnig
June 25, 2025 07:37 32m 3s tautschnig:language_mode-protected
tautschnig:language_mode-protected
June 25, 2025 07:37 32m 3s