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
- Codecov coverage report Codecov coverage report
- CodeQL CodeQL
- Create Release Create Release
- Dependabot Updates Dependabot Updates
Management
- Caches
- Deployments

Codecov coverage report

Actions

Loading...
Loading

coverage.yaml

902 workflow runs

Fix support for mathematical types Codecov coverage report #1093: Pull request #8324 synchronize by tautschnig

35m 56s tautschnig:bugfixes/mathematical-types

tautschnig:bugfixes/mathematical-types

35m 56s

Fix support for mathematical types Codecov coverage report #1092: Pull request #8324 synchronize by tautschnig

54m 43s tautschnig:bugfixes/mathematical-types

tautschnig:bugfixes/mathematical-types

54m 43s

Fix support for mathematical types Codecov coverage report #1091: Pull request #8324 synchronize by tautschnig

52m 22s tautschnig:bugfixes/mathematical-types

tautschnig:bugfixes/mathematical-types

52m 22s

Fix support for mathematical types Codecov coverage report #1090: Pull request #8324 synchronize by tautschnig

54m 57s tautschnig:bugfixes/mathematical-types

tautschnig:bugfixes/mathematical-types

54m 57s

Fix support for mathematical types Codecov coverage report #1089: Pull request #8324 synchronize by tautschnig

31m 15s tautschnig:bugfixes/mathematical-types

tautschnig:bugfixes/mathematical-types

31m 15s

Higher radix multiplier encoding Codecov coverage report #1088: Pull request #7991 synchronize by tautschnig

6h 0m 19s tautschnig:feature/multiplier-encoding

tautschnig:feature/multiplier-encoding

6h 0m 19s

Fix support for mathematical types Codecov coverage report #1087: Pull request #8324 synchronize by tautschnig

34m 4s tautschnig:bugfixes/mathematical-types

tautschnig:bugfixes/mathematical-types

34m 4s

Fix support for mathematical types Codecov coverage report #1086: Pull request #8324 synchronize by tautschnig

30m 23s tautschnig:bugfixes/mathematical-types

tautschnig:bugfixes/mathematical-types

30m 23s

Fix support for mathematical types Codecov coverage report #1085: Pull request #8324 synchronize by tautschnig

31m 15s tautschnig:bugfixes/mathematical-types

tautschnig:bugfixes/mathematical-types

31m 15s

Fix support for mathematical types Codecov coverage report #1084: Pull request #8324 synchronize by tautschnig

29m 46s tautschnig:bugfixes/mathematical-types

tautschnig:bugfixes/mathematical-types

29m 46s

Fix support for mathematical types Codecov coverage report #1083: Pull request #8324 synchronize by tautschnig

29m 51s tautschnig:bugfixes/mathematical-types

tautschnig:bugfixes/mathematical-types

29m 51s

Fix support for mathematical types Codecov coverage report #1082: Pull request #8324 synchronize by tautschnig

25m 5s tautschnig:bugfixes/mathematical-types

tautschnig:bugfixes/mathematical-types

25m 5s

Merge pull request #8713 from tautschnig/goto-functions-json Codecov coverage report #1081: Commit 5f4c82d pushed by tautschnig

49m 34s develop

develop

49m 34s

Add support for reading GOTO functions from JSON Codecov coverage report #1080: Pull request #8713 synchronize by tautschnig

35m 41s tautschnig:goto-functions-json

tautschnig:goto-functions-json

35m 41s

Add support for reading GOTO functions from JSON Codecov coverage report #1079: Pull request #8713 synchronize by tautschnig

30m 29s tautschnig:goto-functions-json

tautschnig:goto-functions-json

30m 29s

Add support for reading GOTO functions from JSON Codecov coverage report #1078: Pull request #8713 synchronize by tautschnig

10m 27s tautschnig:goto-functions-json

tautschnig:goto-functions-json

10m 27s

Add support for reading GOTO functions from JSON Codecov coverage report #1077: Pull request #8713 synchronize by tautschnig

11m 37s tautschnig:goto-functions-json

tautschnig:goto-functions-json

11m 37s

Add support for reading GOTO functions from JSON Codecov coverage report #1076: Pull request #8713 synchronize by tautschnig

53m 26s tautschnig:goto-functions-json

tautschnig:goto-functions-json

53m 26s

Add support for reading GOTO functions from JSON Codecov coverage report #1075: Pull request #8713 synchronize by tautschnig

48m 1s tautschnig:goto-functions-json

tautschnig:goto-functions-json

48m 1s

Add support for reading GOTO functions from JSON Codecov coverage report #1074: Pull request #8713 synchronize by tautschnig

26m 9s tautschnig:goto-functions-json

tautschnig:goto-functions-json

26m 9s

Add support for reading GOTO functions from JSON Codecov coverage report #1073: Pull request #8713 synchronize by tautschnig

24m 17s tautschnig:goto-functions-json

tautschnig:goto-functions-json

24m 17s

Add support for reading GOTO functions from JSON Codecov coverage report #1072: Pull request #8713 synchronize by tautschnig

27m 14s tautschnig:goto-functions-json

tautschnig:goto-functions-json

27m 14s

Add support for reading GOTO functions from JSON Codecov coverage report #1071: Pull request #8713 opened by tautschnig

5m 24s tautschnig:goto-functions-json

tautschnig:goto-functions-json

5m 24s

Merge pull request #8646 from tautschnig/language_mode-protected Codecov coverage report #1070: Commit b0156a3 pushed by tautschnig

29m 56s develop

develop

29m 56s

Merge pull request #8712 from tautschnig/remove-function-body-regex Codecov coverage report #1069: Commit 43cb7a6 pushed by tautschnig

31m 51s develop

develop

31m 51s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Actions

Workflows

Management