Skip to content

Actions: diffblue/cbmc

Actions

Codecov coverage report

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yaml
969 workflow runs
969 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix SMT2 output determinism by using ordered maps Codecov coverage report #1366: Pull request #8830 opened by tautschnig
23m 51s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
23m 51s
Merge pull request #8829 from diffblue/smt2-zero-width-concat Codecov coverage report #1365: Commit 0b937eb pushed by kroening
27m 35s develop
develop
27m 35s
Merge pull request #8828 from diffblue/smt2-identity-typecast Codecov coverage report #1364: Commit 36570bf pushed by kroening
27m 44s develop
develop
27m 44s
SMT2: concatenations with zero-width operands Codecov coverage report #1363: Pull request #8829 opened by kroening
28m 24s smt2-zero-width-concat
smt2-zero-width-concat
28m 24s
SMT2: typecasts to the source type Codecov coverage report #1362: Pull request #8828 synchronize by kroening
30m 9s smt2-identity-typecast
smt2-identity-typecast
30m 9s
SMT2: typecasts to the source type Codecov coverage report #1361: Pull request #8828 opened by kroening
29m 1s smt2-identity-typecast
smt2-identity-typecast
29m 1s
Merge pull request #8827 from tautschnig/cnf-methods-public Codecov coverage report #1360: Commit 05c2649 pushed by kroening
28m 20s develop
develop
28m 20s
Make cnft::gate_* methods public Codecov coverage report #1359: Pull request #8827 opened by tautschnig
29m 41s tautschnig:cnf-methods-public
tautschnig:cnf-methods-public
29m 41s
Merge pull request #8826 from tautschnig/add-agents.md Codecov coverage report #1358: Commit 221bca1 pushed by tautschnig
27m 24s develop
develop
27m 24s
Merge pull request #8823 from diffblue/deprecate-case_exprt Codecov coverage report #1357: Commit 7ebf557 pushed by tautschnig
55m 45s develop
develop
55m 45s
Add AGENTS.md to guide AI coding assistants Codecov coverage report #1356: Pull request #8826 synchronize by tautschnig
57m 43s tautschnig:add-agents.md
tautschnig:add-agents.md
57m 43s
Add AGENTS.md to guide AI coding assistants Codecov coverage report #1355: Pull request #8826 synchronize by tautschnig
49m 5s tautschnig:add-agents.md
tautschnig:add-agents.md
49m 5s
Add AGENTS.md to guide AI coding assistants Codecov coverage report #1354: Pull request #8826 opened by tautschnig
52m 32s tautschnig:add-agents.md
tautschnig:add-agents.md
52m 32s
Fix NetBSD CI job Codecov coverage report #1353: Pull request #8825 synchronize by tautschnig
47m 48s tautschnig:netbsd-ci
tautschnig:netbsd-ci
47m 48s
Fix NetBSD CI job Codecov coverage report #1352: Pull request #8825 opened by tautschnig
51m 50s tautschnig:netbsd-ci
tautschnig:netbsd-ci
51m 50s
symbol_exprt C++-style API Codecov coverage report #1351: Pull request #8824 synchronize by kroening
46m 25s symbol_exprt_cleanup
symbol_exprt_cleanup
46m 25s
symbol_exprt C++-style API Codecov coverage report #1350: Pull request #8824 synchronize by kroening
15m 45s symbol_exprt_cleanup
symbol_exprt_cleanup
15m 45s
symbol_exprt C++-style API Codecov coverage report #1349: Pull request #8824 synchronize by kroening
48m 3s symbol_exprt_cleanup
symbol_exprt_cleanup
48m 3s
symbol_exprt C++-style API Codecov coverage report #1348: Pull request #8824 opened by kroening
46m 21s symbol_exprt_cleanup
symbol_exprt_cleanup
46m 21s
Deprecate case_exprt Codecov coverage report #1347: Pull request #8823 synchronize by kroening
46m 32s deprecate-case_exprt
deprecate-case_exprt
46m 32s
Deprecate case_exprt Codecov coverage report #1346: Pull request #8823 opened by kroening
45m 42s deprecate-case_exprt
deprecate-case_exprt
45m 42s
Merge pull request #8822 from diffblue/post_depth_iterator Codecov coverage report #1345: Commit 844c8e6 pushed by tautschnig
27m 38s develop
develop
27m 38s
post-order traversal range for expressions Codecov coverage report #1344: Pull request #8822 synchronize by kroening
28m 8s post_depth_iterator
post_depth_iterator
28m 8s
post-order traversal range for expressions Codecov coverage report #1343: Pull request #8822 opened by kroening
27m 51s post_depth_iterator
post_depth_iterator
27m 51s
Merge pull request #8765 from tautschnig/fix-727-better-oom-handling Codecov coverage report #1342: Commit 35fbe06 pushed by tautschnig
28m 19s develop
develop
28m 19s