Skip to content

Actions: diffblue/cbmc

Actions

Codecov coverage report

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yaml
981 workflow runs
981 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #8698 from tautschnig/remove-redundant-init Codecov coverage report #1002: Commit f7cd7db pushed by kroening
July 26, 2025 18:59 48m 13s develop
develop
July 26, 2025 18:59 48m 13s
C library: remove explicit zero initialisers Codecov coverage report #1001: Pull request #8698 opened by tautschnig
July 25, 2025 14:58 48m 36s tautschnig:remove-redundant-init
tautschnig:remove-redundant-init
July 25, 2025 14:58 48m 36s
Contracts instrumentation: hide unhelpful "no body" warnings Codecov coverage report #1000: Pull request #8697 synchronize by tautschnig
July 25, 2025 13:22 49m 42s tautschnig:contracts-inlining-warnings
tautschnig:contracts-inlining-warnings
July 25, 2025 13:22 49m 42s
Contracts instrumentation: cleanup unnecessary includes Codecov coverage report #999: Pull request #8696 synchronize by tautschnig
July 25, 2025 12:41 27m 17s tautschnig:contracts-cleanup-includes
tautschnig:contracts-cleanup-includes
July 25, 2025 12:41 27m 17s
Contracts instrumentation: hide unhelpful "no body" warnings Codecov coverage report #998: Pull request #8697 opened by tautschnig
July 25, 2025 12:37 23m 9s tautschnig:contracts-inlining-warnings
tautschnig:contracts-inlining-warnings
July 25, 2025 12:37 23m 9s
Contracts instrumentation: cleanup unnecessary includes Codecov coverage report #997: Pull request #8696 opened by tautschnig
July 25, 2025 11:56 28m 47s tautschnig:contracts-cleanup-includes
tautschnig:contracts-cleanup-includes
July 25, 2025 11:56 28m 47s
C front-end: do not warn when re-initialising a variable with the same value Codecov coverage report #996: Pull request #8695 opened by tautschnig
July 25, 2025 09:35 27m 56s tautschnig:avoid-linking-warning
tautschnig:avoid-linking-warning
July 25, 2025 09:35 27m 56s
DFCC: do not surface confusing warning Codecov coverage report #995: Pull request #8694 opened by tautschnig
July 25, 2025 09:20 27m 21s tautschnig:dfcc-generate-no-warn
tautschnig:dfcc-generate-no-warn
July 25, 2025 09:20 27m 21s
Merge pull request #8678 from tautschnig/fixup-typecast-simp Codecov coverage report #994: Commit 4a1a325 pushed by tautschnig
July 24, 2025 07:56 28m 29s develop
develop
July 24, 2025 07:56 28m 29s
Merge pull request #8670 from tautschnig/convert-with Codecov coverage report #993: Commit dc193c4 pushed by tautschnig
July 23, 2025 22:35 49m 54s develop
develop
July 23, 2025 22:35 49m 54s
Simplifier: do not create extractbits with pointer type Codecov coverage report #992: Pull request #8678 synchronize by tautschnig
July 23, 2025 21:41 48m 13s tautschnig:fixup-typecast-simp
tautschnig:fixup-typecast-simp
July 23, 2025 21:41 48m 13s
SMT2 back-end: flatten with_exprt operands Codecov coverage report #991: Pull request #8670 synchronize by tautschnig
July 23, 2025 19:16 28m 8s tautschnig:convert-with
tautschnig:convert-with
July 23, 2025 19:16 28m 8s
SMT2 back-end: flatten with_exprt operands Codecov coverage report #990: Pull request #8670 synchronize by tautschnig
July 23, 2025 10:48 29m 32s tautschnig:convert-with
tautschnig:convert-with
July 23, 2025 10:48 29m 32s
SMT2 back-end: flatten with_exprt operands Codecov coverage report #989: Pull request #8670 synchronize by tautschnig
July 16, 2025 10:55 26m 2s tautschnig:convert-with
tautschnig:convert-with
July 16, 2025 10:55 26m 2s
SMT2 back-end: flatten with_exprt operands Codecov coverage report #988: Pull request #8670 synchronize by tautschnig
July 16, 2025 10:02 27m 52s tautschnig:convert-with
tautschnig:convert-with
July 16, 2025 10:02 27m 52s
SMT2 back-end: flatten with_exprt operands Codecov coverage report #987: Pull request #8670 synchronize by tautschnig
July 16, 2025 08:47 23m 17s tautschnig:convert-with
tautschnig:convert-with
July 16, 2025 08:47 23m 17s
Merge pull request #8684 from tautschnig/bugfixes/goto-harness-allocate Codecov coverage report #986: Commit 062962c pushed by tautschnig
July 16, 2025 07:17 48m 32s develop
develop
July 16, 2025 07:17 48m 32s
goto-harness: use __CPROVER_(de)?allocate, not malloc/free Codecov coverage report #985: Pull request #8684 synchronize by tautschnig
July 15, 2025 21:14 43m 3s tautschnig:bugfixes/goto-harness-allocate
tautschnig:bugfixes/goto-harness-allocate
July 15, 2025 21:14 43m 3s
goto-harness: use __CPROVER_(de)?allocate, not malloc/free Codecov coverage report #984: Pull request #8684 synchronize by tautschnig
July 15, 2025 20:19 48m 1s tautschnig:bugfixes/goto-harness-allocate
tautschnig:bugfixes/goto-harness-allocate
July 15, 2025 20:19 48m 1s
goto-harness: use __CPROVER_(de)?allocate, not malloc/free Codecov coverage report #983: Pull request #8684 synchronize by tautschnig
July 15, 2025 19:48 44m 22s tautschnig:bugfixes/goto-harness-allocate
tautschnig:bugfixes/goto-harness-allocate
July 15, 2025 19:48 44m 22s
goto-harness: use __CPROVER_(de)?allocate, not malloc/free Codecov coverage report #982: Pull request #8684 opened by tautschnig
July 15, 2025 19:42 45m 0s tautschnig:bugfixes/goto-harness-allocate
tautschnig:bugfixes/goto-harness-allocate
July 15, 2025 19:42 45m 0s
Simplifier: do not create extractbits with pointer type Codecov coverage report #981: Pull request #8678 synchronize by tautschnig
July 9, 2025 20:51 27m 32s tautschnig:fixup-typecast-simp
tautschnig:fixup-typecast-simp
July 9, 2025 20:51 27m 32s
Simplifier: do not create extractbits with pointer type Codecov coverage report #980: Pull request #8678 opened by tautschnig
July 9, 2025 20:51 27m 50s tautschnig:fixup-typecast-simp
tautschnig:fixup-typecast-simp
July 9, 2025 20:51 27m 50s
Merge pull request #8677 from tautschnig/release-6.7.1 Codecov coverage report #979: Commit d148ae6 pushed by tautschnig
July 9, 2025 20:16 26m 31s develop
develop
July 9, 2025 20:16 26m 31s
Release CBMC 6.7.1 Codecov coverage report #978: Pull request #8677 opened by tautschnig
July 9, 2025 18:46 45m 20s tautschnig:release-6.7.1
tautschnig:release-6.7.1
July 9, 2025 18:46 45m 20s