Skip to content

Actions: diffblue/cbmc

Actions

Codecov coverage report

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yaml
959 workflow runs
959 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add SARIF output support via --sarif-ui option Codecov coverage report #1390: Pull request #8835 opened by tautschnig
49m 6s tautschnig:sarif-ui
tautschnig:sarif-ui
49m 6s
SMT-LIB2: shifts with wider shift distances Codecov coverage report #1389: Pull request #8834 synchronize by kroening
27m 24s smt2-shift
smt2-shift
27m 24s
SMT-LIB2: shifts with wider shift distances Codecov coverage report #1388: Pull request #8834 synchronize by kroening
28m 16s smt2-shift
smt2-shift
28m 16s
SMT-LIB2: shifts with wider shift distances Codecov coverage report #1387: Pull request #8834 synchronize by kroening
7m 14s smt2-shift
smt2-shift
7m 14s
SMT-LIB2: shifts with wider shift distances Codecov coverage report #1386: Pull request #8834 synchronize by kroening
26m 56s smt2-shift
smt2-shift
26m 56s
SMT-LIB2: shifts with wider shift distances Codecov coverage report #1385: Pull request #8834 synchronize by kroening
28m 15s smt2-shift
smt2-shift
28m 15s
SMT-LIB2: shifts with wider shift distances Codecov coverage report #1384: Pull request #8834 opened by kroening
25m 56s smt2-shift
smt2-shift
25m 56s
Merge pull request #8833 from diffblue/boolbv-power Codecov coverage report #1383: Commit 15eb10a pushed by tautschnig
47m 7s develop
develop
47m 7s
use power_exprt in boolbvt Codecov coverage report #1382: Pull request #8833 opened by kroening
50m 36s boolbv-power
boolbv-power
50m 36s
fix SMT-LIB2 nor Codecov coverage report #1381: Pull request #8832 opened by kroening
49m 34s smt-lib-nor-fix
smt-lib-nor-fix
49m 34s
Fix NetBSD and FreeBSD CI jobs Codecov coverage report #1380: Pull request #8825 synchronize by tautschnig
47m 50s tautschnig:netbsd-ci
tautschnig:netbsd-ci
47m 50s
Fix SMT2 output determinism by using ordered maps Codecov coverage report #1379: Pull request #8830 synchronize by tautschnig
27m 45s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
27m 45s
Fix SMT2 output determinism by using ordered maps Codecov coverage report #1378: Pull request #8830 synchronize by tautschnig
25m 26s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
25m 26s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Codecov coverage report #1377: Pull request #8465 synchronize by yvizel
Action required yvizel:develop
yvizel:develop
Action required
Fix SMT2 output determinism by using ordered maps Codecov coverage report #1376: Pull request #8830 synchronize by tautschnig
33m 36s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
33m 36s
Merge pull request #8736 from tautschnig/cadical-2.2.0 Codecov coverage report #1375: Commit 74fd5bd pushed by tautschnig
27m 57s develop
develop
27m 57s
Merge pull request #8831 from diffblue/std_expr_cleanup Codecov coverage report #1374: Commit af0b511 pushed by tautschnig
47m 35s develop
develop
47m 35s
std_expr.h: use exprt::check consistently Codecov coverage report #1373: Pull request #8831 synchronize by kroening
46m 0s std_expr_cleanup
std_expr_cleanup
46m 0s
std_expr.h: use exprt::check consistently Codecov coverage report #1372: Pull request #8831 opened by kroening
47m 0s std_expr_cleanup
std_expr_cleanup
47m 0s
Fix SMT2 output determinism by using ordered maps Codecov coverage report #1371: Pull request #8830 synchronize by tautschnig
25m 14s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
25m 14s
Fix SMT2 output determinism by using ordered maps Codecov coverage report #1370: Pull request #8830 synchronize by tautschnig
26m 57s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
26m 57s
Fix SMT2 output determinism by using ordered maps Codecov coverage report #1369: Pull request #8830 synchronize by tautschnig
25m 45s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
25m 45s
Fix SMT2 output determinism by using ordered maps Codecov coverage report #1368: Pull request #8830 synchronize by tautschnig
26m 18s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
26m 18s
Fix SMT2 output determinism by using ordered maps Codecov coverage report #1367: Pull request #8830 synchronize by tautschnig
26m 47s tautschnig:smt2-output-stability
tautschnig:smt2-output-stability
26m 47s
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