Skip to content

Actions: diffblue/cbmc

Actions

Codecov coverage report

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #8432 from lks9/doc_8428 Codecov coverage report #232: Commit e08b025 pushed by peterschrammel
September 13, 2024 10:41 1h 0m 34s develop
develop
September 13, 2024 10:41 1h 0m 34s
Use boolean_negate for immediate simplification Codecov coverage report #231: Pull request #8449 synchronize by tautschnig
September 13, 2024 10:02 59m 43s tautschnig:use-boolean_negate
tautschnig:use-boolean_negate
September 13, 2024 10:02 59m 43s
Move make_with_expr to update_exprt Codecov coverage report #230: Pull request #8448 synchronize by tautschnig
September 13, 2024 09:56 1h 3m 35s tautschnig:move-make_with_expr
tautschnig:move-make_with_expr
September 13, 2024 09:56 1h 3m 35s
Merge pull request #8445 from tautschnig/move-is_null_pointer Codecov coverage report #229: Commit dc8793c pushed by tautschnig
September 13, 2024 09:51 1h 2m 4s develop
develop
September 13, 2024 09:51 1h 2m 4s
add documentation of default for --max-nondet-array-length, see #8428 Codecov coverage report #228: Pull request #8432 synchronize by lks9
September 13, 2024 09:48 38m 19s lks9:doc_8428
lks9:doc_8428
September 13, 2024 09:48 38m 19s
Merge pull request #8418 from tautschnig/lazy_goto_model-no-dynamic_cast Codecov coverage report #227: Commit f0543bd pushed by kroening
September 12, 2024 23:54 40m 49s develop
develop
September 12, 2024 23:54 40m 49s
Merge pull request #8391 from diffblue/exception-constructors Codecov coverage report #226: Commit a29e933 pushed by kroening
September 12, 2024 23:53 40m 27s develop
develop
September 12, 2024 23:53 40m 27s
Merge pull request #8444 from tautschnig/fix-missing-locs Codecov coverage report #225: Commit 29d6f31 pushed by tautschnig
September 11, 2024 08:23 1h 2m 50s develop
develop
September 11, 2024 08:23 1h 2m 50s
Remove renamedt from symex_targett interface Codecov coverage report #224: Pull request #8447 synchronize by tautschnig
September 10, 2024 15:00 59m 32s tautschnig:no-renamedt
tautschnig:no-renamedt
September 10, 2024 15:00 59m 32s
Move is_null_pointer to constant_exprt Codecov coverage report #223: Pull request #8445 synchronize by tautschnig
September 10, 2024 14:56 47m 14s tautschnig:move-is_null_pointer
tautschnig:move-is_null_pointer
September 10, 2024 14:56 47m 14s
Move is_null_pointer to constant_exprt Codecov coverage report #222: Pull request #8445 synchronize by tautschnig
September 10, 2024 14:53 35m 24s tautschnig:move-is_null_pointer
tautschnig:move-is_null_pointer
September 10, 2024 14:53 35m 24s
Cleanup exprt and expr_util [depends-on: 8675, 8455] Codecov coverage report #221: Pull request #8451 opened by tautschnig
September 10, 2024 14:43 49m 48s tautschnig:cleanup-expr
tautschnig:cleanup-expr
September 10, 2024 14:43 49m 48s
Deprecate make_and in favour of conjunction(expr, expr) Codecov coverage report #220: Pull request #8450 opened by tautschnig
September 10, 2024 14:38 4m 26s tautschnig:no-make_and
tautschnig:no-make_and
September 10, 2024 14:38 4m 26s
Use boolean_negate for immediate simplification Codecov coverage report #219: Pull request #8449 opened by tautschnig
September 10, 2024 14:31 45m 22s tautschnig:use-boolean_negate
tautschnig:use-boolean_negate
September 10, 2024 14:31 45m 22s
Move make_with_expr to update_exprt Codecov coverage report #218: Pull request #8448 opened by tautschnig
September 10, 2024 14:30 2m 16s tautschnig:move-make_with_expr
tautschnig:move-make_with_expr
September 10, 2024 14:30 2m 16s
Remove renamedt from symex_targett interface Codecov coverage report #217: Pull request #8447 opened by tautschnig
September 10, 2024 14:29 44m 15s tautschnig:no-renamedt
tautschnig:no-renamedt
September 10, 2024 14:29 44m 15s
Move is_null_pointer to constant_exprt Codecov coverage report #216: Pull request #8445 opened by tautschnig
September 10, 2024 13:41 1h 2m 39s tautschnig:move-is_null_pointer
tautschnig:move-is_null_pointer
September 10, 2024 13:41 1h 2m 39s
Goto conversion: fix missing source locations Codecov coverage report #215: Pull request #8444 opened by tautschnig
September 10, 2024 13:29 41m 43s tautschnig:fix-missing-locs
tautschnig:fix-missing-locs
September 10, 2024 13:29 41m 43s
goto-symex: move level1 map to goto_statet Codecov coverage report #214: Pull request #8439 synchronize by tautschnig
September 5, 2024 14:50 6h 3m 50s tautschnig:fix-8437-level1-merge
tautschnig:fix-8437-level1-merge
September 5, 2024 14:50 6h 3m 50s
Merge pull request #8440 from tautschnig/fix-python-syntax-error Codecov coverage report #213: Commit 4ae54e6 pushed by tautschnig
September 5, 2024 14:49 47m 52s develop
develop
September 5, 2024 14:49 47m 52s
Merge pull request #8438 from tautschnig/fix-8436-conversion Codecov coverage report #212: Commit d67648a pushed by tautschnig
September 5, 2024 14:49 48m 21s develop
develop
September 5, 2024 14:49 48m 21s
Merge pull request #8441 from diffblue/zero_expr Codecov coverage report #211: Commit 71ee177 pushed by kroening
September 5, 2024 14:10 48m 38s develop
develop
September 5, 2024 14:10 48m 38s
zero extension expression Codecov coverage report #210: Pull request #8442 synchronize by kroening
September 5, 2024 13:54 49m 2s zero_extend
zero_extend
September 5, 2024 13:54 49m 2s
zero extension expression Codecov coverage report #209: Pull request #8442 synchronize by kroening
September 5, 2024 13:52 47m 1s zero_extend
zero_extend
September 5, 2024 13:52 47m 1s
Fix Python syntax error in doxygen markdown preprocessor Codecov coverage report #208: Pull request #8440 synchronize by tautschnig
September 5, 2024 12:50 59m 11s tautschnig:fix-python-syntax-error
tautschnig:fix-python-syntax-error
September 5, 2024 12:50 59m 11s
ProTip! You can narrow down the results and go further in time using created:<2024-09-05 or the other filters available.