Codecov coverage report

Actions

All workflows
Workflows
- Build and Test CBMC Build and Test CBMC
- Build and Test on *BSD Build and Test on *BSD
- Build and Test the Rust API Build and Test the Rust API
- Build Doxygen Documentation Build Doxygen Documentation
- Build Linux partially with CPROVER tools Build Linux partially with CPROVER tools
- Build Xen with CPROVER tools Build Xen with CPROVER tools
- Clang Sanitizer Clang Sanitizer
- Codecov coverage report Codecov coverage report
- CodeQL CodeQL
- Copilot code review Copilot code review
Management
- Caches
- Deployments

Codecov coverage report

Actions

Loading...
Loading

936 workflow runs

Fix misleading error message for --generate-function-body on existing bodies Codecov coverage report #1216: Pull request #8786 synchronize by tautschnig

27m 34s tautschnig:fix-2974-generate-function-body-warning

tautschnig:fix-2974-generate-function-body-warning

27m 34s

Refine symex pointer unsoundness Codecov coverage report #1215: Pull request #8780 synchronize by tautschnig

30m 52s tautschnig:refine-symex-pointer-unsoundness

tautschnig:refine-symex-pointer-unsoundness

30m 52s

Fix --cover help Codecov coverage report #1214: Pull request #8793 opened by tautschnig

27m 46s tautschnig:fix-cover-help

tautschnig:fix-cover-help

27m 46s

Refine symex pointer unsoundness Codecov coverage report #1213: Pull request #8780 synchronize by tautschnig

30m 0s tautschnig:refine-symex-pointer-unsoundness

tautschnig:refine-symex-pointer-unsoundness

30m 0s

Fix basic block coverage with unsatisfiable ASSUME statements Codecov coverage report #1212: Pull request #8791 synchronize by tautschnig

23m 50s tautschnig:fix-826-basic-block-assumes

tautschnig:fix-826-basic-block-assumes

23m 50s

Fix C++ ternary operator type checking for bitfield operands Codecov coverage report #1211: Pull request #8792 opened by tautschnig

27m 33s tautschnig:fix-933-ternary-cpp

tautschnig:fix-933-ternary-cpp

27m 33s

Fix basic block coverage with unsatisfiable ASSUME statements Codecov coverage report #1210: Pull request #8791 opened by tautschnig

26m 43s tautschnig:fix-826-basic-block-assumes

tautschnig:fix-826-basic-block-assumes

26m 43s

Implement fixedbv/floatbv conversions in SAT and SMT2 back-ends Codecov coverage report #1209: Pull request #8790 opened by tautschnig

3m 47s tautschnig:fix-2158-fixedbv-floatbv

tautschnig:fix-2158-fixedbv-floatbv

3m 47s

Refine symex pointer unsoundness Codecov coverage report #1208: Pull request #8780 synchronize by tautschnig

28m 41s tautschnig:refine-symex-pointer-unsoundness

tautschnig:refine-symex-pointer-unsoundness

28m 41s

Fix Xen CI job by moving to GitHub mirror Codecov coverage report #1207: Pull request #8789 opened by tautschnig

31m 3s tautschnig:use-github-xen-mirror

tautschnig:use-github-xen-mirror

31m 3s

goto-analyzer: fix reachable-functions analysis for inline functions Codecov coverage report #1206: Pull request #8788 opened by tautschnig

31m 39s tautschnig:fix-5173-goto-analyzer

tautschnig:fix-5173-goto-analyzer

31m 39s

Add remove_java_new pass to jdiff and janalyzer tools Codecov coverage report #1205: Pull request #8787 opened by tautschnig

35m 42s tautschnig:fix-3094-remove_java_new

tautschnig:fix-3094-remove_java_new

35m 42s

Fix misleading error message for --generate-function-body on existing bodies Codecov coverage report #1204: Pull request #8786 opened by tautschnig

30m 13s tautschnig:fix-2974-generate-function-body-warning

tautschnig:fix-2974-generate-function-body-warning

30m 13s

Support reordered pointer operands in local_bitvector_analysis Codecov coverage report #1203: Pull request #8785 opened by tautschnig

26m 20s tautschnig:fix-2689-pointer-sum-ops

tautschnig:fix-2689-pointer-sum-ops

26m 20s

goto-instrument: add early output file validation Codecov coverage report #1202: Pull request #8784 opened by tautschnig

23m 14s tautschnig:fix-2593-goto-instrument-args

tautschnig:fix-2593-goto-instrument-args

23m 14s

Remove undefined-function-is-assume-false from goto-instrument Codecov coverage report #1201: Pull request #8783 opened by tautschnig

27m 2s tautschnig:fix-2070-undefined-function

tautschnig:fix-2070-undefined-function

27m 2s

Refactor entry point validation towards symex-callers Codecov coverage report #1200: Pull request #8782 opened by tautschnig

3m 34s tautschnig:fix-1847-entry-point-logic

tautschnig:fix-1847-entry-point-logic

3m 34s

Refactor basic block detection into standalone utility module Codecov coverage report #1199: Pull request #8781 opened by tautschnig

28m 22s tautschnig:fix-1686-basic-block-refactor

tautschnig:fix-1686-basic-block-refactor

28m 22s

Refine symex pointer unsoundness Codecov coverage report #1198: Pull request #8780 opened by tautschnig

28m 27s tautschnig:refine-symex-pointer-unsoundness

tautschnig:refine-symex-pointer-unsoundness

28m 27s

Fix handling of empty intervals in interval_template.h Codecov coverage report #1197: Pull request #8779 opened by tautschnig

3h 53m 3s tautschnig:fix-8144-empty-interval

tautschnig:fix-8144-empty-interval

3h 53m 3s

Fix array_exprt handling in incremental SMT2 procedure Codecov coverage report #1196: Pull request #8778 opened by tautschnig

3h 51m 48s tautschnig:fix-8080-inc-smt-array

tautschnig:fix-8080-inc-smt-array

3h 51m 48s

Implement incremental SMT2 support for bswap_exprt Codecov coverage report #1195: Pull request #8777 opened by tautschnig

3h 37m 53s tautschnig:fix-8064-inc-smt-bswap

tautschnig:fix-8064-inc-smt-bswap

3h 37m 53s

Implement SMT2 incremental support for arithmetic integers Codecov coverage report #1194: Pull request #8776 opened by tautschnig

3h 10m 35s tautschnig:fix-8074-inc-smt-integer

tautschnig:fix-8074-inc-smt-integer

3h 10m 35s

C front-end: recognize __builtin_inff() as constant expression Codecov coverage report #1193: Pull request #8775 opened by tautschnig

3h 19m 12s tautschnig:fix-8710-builtin_inff

tautschnig:fix-8710-builtin_inff

3h 19m 12s

Add saturating arithmetic support to SMT2 incremental solver Codecov coverage report #1192: Pull request #8774 opened by tautschnig

3h 14m 44s tautschnig:fix-8070-inc-smt-saturating

tautschnig:fix-8070-inc-smt-saturating

3h 14m 44s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Actions

Workflows

Management