Skip to content

Actions: diffblue/cbmc

Actions

Codecov coverage report

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SMT2 parser with explicit stack Codecov coverage report #127: Pull request #8415 opened by kroening
August 15, 2024 00:10 25m 16s smt2_parser_with_stack
smt2_parser_with_stack
August 15, 2024 00:10 25m 16s
Contracts (DFCC) regression tests: use CaDiCaL Codecov coverage report #126: Pull request #8414 opened by tautschnig
August 14, 2024 10:54 38m 11s tautschnig:contracts-dfcc-cadical
tautschnig:contracts-dfcc-cadical
August 14, 2024 10:54 38m 11s
Library functions: mark them as compiled Codecov coverage report #125: Pull request #8412 synchronize by tautschnig
August 14, 2024 09:48 36m 57s tautschnig:library-is-compiled
tautschnig:library-is-compiled
August 14, 2024 09:48 36m 57s
Library functions: mark them as compiled Codecov coverage report #124: Pull request #8412 synchronize by tautschnig
August 13, 2024 20:43 6h 0m 23s tautschnig:library-is-compiled
tautschnig:library-is-compiled
August 13, 2024 20:43 6h 0m 23s
Library functions: mark them as compiled Codecov coverage report #123: Pull request #8412 synchronize by tautschnig
August 13, 2024 20:11 6h 0m 25s tautschnig:library-is-compiled
tautschnig:library-is-compiled
August 13, 2024 20:11 6h 0m 25s
Dynamic frames: do not add trivial properties Codecov coverage report #122: Pull request #8413 synchronize by tautschnig
August 13, 2024 15:36 40m 38s tautschnig:dfcc-no-unnecessary-check
tautschnig:dfcc-no-unnecessary-check
August 13, 2024 15:36 40m 38s
Dynamic frames: do not add trivial properties Codecov coverage report #121: Pull request #8413 opened by tautschnig
August 13, 2024 15:25 22m 0s tautschnig:dfcc-no-unnecessary-check
tautschnig:dfcc-no-unnecessary-check
August 13, 2024 15:25 22m 0s
Library functions: mark them as compiled Codecov coverage report #120: Pull request #8412 opened by tautschnig
August 13, 2024 15:21 6h 0m 29s tautschnig:library-is-compiled
tautschnig:library-is-compiled
August 13, 2024 15:21 6h 0m 29s
Merge pull request #8410 from tautschnig/solver-factory-no-dynamic_cast3 Codecov coverage report #119: Commit 0760cd7 pushed by kroening
August 8, 2024 01:18 37m 8s develop
develop
August 8, 2024 01:18 37m 8s
Merge pull request #8409 from tautschnig/solver-factory-no-dynamic_cast2 Codecov coverage report #118: Commit 7db3d8b pushed by kroening
August 7, 2024 18:41 38m 37s develop
develop
August 7, 2024 18:41 38m 37s
Merge pull request #8407 from tautschnig/java-no-dynamic_cast Codecov coverage report #117: Commit 068d963 pushed by tautschnig
August 7, 2024 18:40 37m 3s develop
develop
August 7, 2024 18:40 37m 3s
Solver factory: make_satcheck_prop does not require dynamic_cast Codecov coverage report #116: Pull request #8410 opened by tautschnig
August 7, 2024 11:06 39m 25s tautschnig:solver-factory-no-dynamic_cast3
tautschnig:solver-factory-no-dynamic_cast3
August 7, 2024 11:06 39m 25s
Solver factory: set_decision_procedure_time_limit does not require dynamic_cast Codecov coverage report #115: Pull request #8409 opened by tautschnig
August 7, 2024 10:26 39m 11s tautschnig:solver-factory-no-dynamic_cast2
tautschnig:solver-factory-no-dynamic_cast2
August 7, 2024 10:26 39m 11s
Solver factory: all solvers are stack_decision_proceduret Codecov coverage report #114: Pull request #8408 opened by tautschnig
August 7, 2024 09:57 37m 1s tautschnig:solver-factory-no-dynamic_cast
tautschnig:solver-factory-no-dynamic_cast
August 7, 2024 09:57 37m 1s
Remove Java's unnecessary languaget::parse peculiarity Codecov coverage report #113: Pull request #8407 opened by tautschnig
August 7, 2024 07:58 40m 22s tautschnig:java-no-dynamic_cast
tautschnig:java-no-dynamic_cast
August 7, 2024 07:58 40m 22s
Merge pull request #8405 from tautschnig/qualifiers-no-dynamic_cast Codecov coverage report #112: Commit d635850 pushed by kroening
August 7, 2024 07:46 37m 7s develop
develop
August 7, 2024 07:46 37m 7s
Merge pull request #8406 from tautschnig/dimacs_cnft-no-dynamic_cast Codecov coverage report #111: Commit f244575 pushed by kroening
August 7, 2024 03:17 37m 30s develop
develop
August 7, 2024 03:17 37m 30s
Remove dynamic_cast from bv_dimacst Codecov coverage report #110: Pull request #8406 opened by tautschnig
August 6, 2024 20:27 37m 36s tautschnig:dimacs_cnft-no-dynamic_cast
tautschnig:dimacs_cnft-no-dynamic_cast
August 6, 2024 20:27 37m 36s
Remove uses of dynamic_cast from qualifierst hierarchy Codecov coverage report #109: Pull request #8405 synchronize by tautschnig
August 6, 2024 17:23 42m 32s tautschnig:qualifiers-no-dynamic_cast
tautschnig:qualifiers-no-dynamic_cast
August 6, 2024 17:23 42m 32s
Remove uses of dynamic_cast from qualifierst hierarchy Codecov coverage report #108: Pull request #8405 opened by tautschnig
August 6, 2024 17:21 6m 22s tautschnig:qualifiers-no-dynamic_cast
tautschnig:qualifiers-no-dynamic_cast
August 6, 2024 17:21 6m 22s
Promote set_all_frozen to decision_proceduret to remove a dynamic_cast Codecov coverage report #107: Pull request #8404 opened by tautschnig
August 6, 2024 17:20 44m 57s tautschnig:freeze-no-dynamic_cast
tautschnig:freeze-no-dynamic_cast
August 6, 2024 17:20 44m 57s
Merge pull request #8403 from tautschnig/fix-dfcc-typedef Codecov coverage report #106: Commit 5ef19c8 pushed by feliperodri
August 6, 2024 16:02 38m 46s develop
develop
August 6, 2024 16:02 38m 46s
Contracts/dynamic frames: do not attempt to instrument typedefs Codecov coverage report #105: Pull request #8403 opened by tautschnig
August 6, 2024 12:57 39m 27s tautschnig:fix-dfcc-typedef
tautschnig:fix-dfcc-typedef
August 6, 2024 12:57 39m 27s
SMT2 back-end: fix inconsistent array flattening Codecov coverage report #104: Pull request #8400 synchronize by tautschnig
August 1, 2024 10:50 42m 25s tautschnig:bugfixes/smt2-8399
tautschnig:bugfixes/smt2-8399
August 1, 2024 10:50 42m 25s
SMT2 back-end: fix inconsistent array flattening Codecov coverage report #103: Pull request #8400 opened by tautschnig
July 30, 2024 20:54 25m 4s tautschnig:bugfixes/smt2-8399
tautschnig:bugfixes/smt2-8399
July 30, 2024 20:54 25m 4s
ProTip! You can narrow down the results and go further in time using created:<2024-07-30 or the other filters available.