Skip to content

Actions: diffblue/cbmc

Actions

Codecov coverage report

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yaml
549 workflow runs
549 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

uninitialized check Codecov coverage report #490: Pull request #8545 synchronize by kroening
December 26, 2024 09:49 25m 47s uninitialized-check
uninitialized-check
December 26, 2024 09:49 25m 47s
Merge pull request #8544 from diffblue/goto-check-c-is-assigned Codecov coverage report #489: Commit f9a7807 pushed by kroening
December 26, 2024 09:45 38m 22s develop
develop
December 26, 2024 09:45 38m 22s
fix enum-range check for LHSs Codecov coverage report #488: Pull request #8544 synchronize by kroening
December 25, 2024 08:57 37m 58s goto-check-c-is-assigned
goto-check-c-is-assigned
December 25, 2024 08:57 37m 58s
Merge pull request #8543 from diffblue/enum_lhs Codecov coverage report #487: Commit b71084c pushed by tautschnig
December 25, 2024 07:12 37m 16s develop
develop
December 25, 2024 07:12 37m 16s
fix enum-range check for LHSs Codecov coverage report #486: Pull request #8544 synchronize by kroening
December 24, 2024 19:22 22m 23s goto-check-c-is-assigned
goto-check-c-is-assigned
December 24, 2024 19:22 22m 23s
Merge pull request #8542 from diffblue/fix-bitwise-flattening Codecov coverage report #485: Commit fc4f7ca pushed by tautschnig
December 23, 2024 19:25 38m 53s develop
develop
December 23, 2024 19:25 38m 53s
fix enum-range check for LHSs Codecov coverage report #484: Pull request #8544 synchronize by kroening
December 23, 2024 18:13 29m 18s goto-check-c-is-assigned
goto-check-c-is-assigned
December 23, 2024 18:13 29m 18s
uninitialized check Codecov coverage report #483: Pull request #8545 opened by kroening
December 23, 2024 18:04 31m 49s uninitialized-check
uninitialized-check
December 23, 2024 18:04 31m 49s
fix enum-range check for LHSs Codecov coverage report #482: Pull request #8544 opened by kroening
December 23, 2024 18:02 26m 10s goto-check-c-is-assigned
goto-check-c-is-assigned
December 23, 2024 18:02 26m 10s
KNOWNBUG test for enum-range check inside LHS of an assignment Codecov coverage report #481: Pull request #8543 synchronize by kroening
December 23, 2024 18:01 38m 31s enum_lhs
enum_lhs
December 23, 2024 18:01 38m 31s
KNOWNBUG test for enum-range check inside LHS of an assignment Codecov coverage report #480: Pull request #8543 synchronize by kroening
December 23, 2024 17:53 37m 23s enum_lhs
enum_lhs
December 23, 2024 17:53 37m 23s
KNOWNBUG test for enum-range check inside LHS of an assignment Codecov coverage report #479: Pull request #8543 synchronize by kroening
December 23, 2024 17:29 37m 43s enum_lhs
enum_lhs
December 23, 2024 17:29 37m 43s
KNOWNBUG test for enum-range check inside LHS of an assignment Codecov coverage report #478: Pull request #8543 synchronize by kroening
December 23, 2024 17:24 39m 46s enum_lhs
enum_lhs
December 23, 2024 17:24 39m 46s
KNOWNBUG test for enum-range check inside LHS of an assignment Codecov coverage report #477: Pull request #8543 opened by kroening
December 23, 2024 17:05 37m 49s enum_lhs
enum_lhs
December 23, 2024 17:05 37m 49s
Bugfix: flattening for non-binary bitnor, bitnand, bitxnor Codecov coverage report #476: Pull request #8542 opened by kroening
December 22, 2024 11:52 36m 50s fix-bitwise-flattening
fix-bitwise-flattening
December 22, 2024 11:52 36m 50s
ieee_floatt: introduce NOT_SET rounding mode Codecov coverage report #475: Pull request #8541 synchronize by kroening
December 22, 2024 11:35 29m 41s ieee_floatt_NOT_SET
ieee_floatt_NOT_SET
December 22, 2024 11:35 29m 41s
ieee_floatt: introduce NOT_SET rounding mode Codecov coverage report #474: Pull request #8541 synchronize by kroening
December 22, 2024 11:23 28m 42s ieee_floatt_NOT_SET
ieee_floatt_NOT_SET
December 22, 2024 11:23 28m 42s
ieee_floatt: introduce NOT_SET rounding mode Codecov coverage report #473: Pull request #8541 synchronize by kroening
December 22, 2024 11:19 29m 14s ieee_floatt_NOT_SET
ieee_floatt_NOT_SET
December 22, 2024 11:19 29m 14s
Merge pull request #8540 from diffblue/ieee_float_precondition Codecov coverage report #472: Commit c4aaafd pushed by kroening
December 22, 2024 09:11 38m 58s develop
develop
December 22, 2024 09:11 38m 58s
ieee_floatt: introduce NOT_SET rounding mode Codecov coverage report #471: Pull request #8541 opened by kroening
December 21, 2024 22:05 39m 41s ieee_floatt_NOT_SET
ieee_floatt_NOT_SET
December 21, 2024 22:05 39m 41s
ieee_floatt: add preconditions Codecov coverage report #470: Pull request #8540 opened by kroening
December 21, 2024 21:56 36m 46s ieee_float_precondition
ieee_float_precondition
December 21, 2024 21:56 36m 46s
Introduce floatbv_round_to_integral_exprt Codecov coverage report #469: Pull request #8538 synchronize by kroening
December 21, 2024 21:49 1h 1m 56s round_to_integral
round_to_integral
December 21, 2024 21:49 1h 1m 56s
SMT2 parser: add abbreviated versions of the rounding modes Codecov coverage report #468: Pull request #8539 opened by kroening
December 21, 2024 21:46 40m 55s smt2-rounding-modes
smt2-rounding-modes
December 21, 2024 21:46 40m 55s
Introduce floatbv_round_to_integral_exprt Codecov coverage report #467: Pull request #8538 synchronize by kroening
December 21, 2024 21:21 11m 38s round_to_integral
round_to_integral
December 21, 2024 21:21 11m 38s
Introduce floatbv_round_to_integral_exprt Codecov coverage report #466: Pull request #8538 synchronize by kroening
December 21, 2024 20:39 48m 4s round_to_integral
round_to_integral
December 21, 2024 20:39 48m 4s