Skip to content

Actions: diffblue/cbmc

Actions

Codecov coverage report

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yaml
928 workflow runs
928 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Handle unsized array element types in bounds_check_index Codecov coverage report #1409: Pull request #8843 opened by tautschnig
58m 10s tautschnig:bounds-check-integer
tautschnig:bounds-check-integer
58m 10s
Fix array refinement: use actual SAT model values in get() Codecov coverage report #1408: Pull request #8842 synchronize by tautschnig
28m 32s tautschnig:arrays/refine-get
tautschnig:arrays/refine-get
28m 32s
Skip Ackermann constraints for derived arrays (weak equivalence) Codecov coverage report #1407: Pull request #8841 synchronize by tautschnig
51m 37s tautschnig:arrays/weak-eq
tautschnig:arrays/weak-eq
51m 37s
Merge pull request #8825 from tautschnig/netbsd-ci Codecov coverage report #1406: Commit 708e3fe pushed by tautschnig
52m 41s develop
develop
52m 41s
Skip Ackermann constraints for derived arrays (weak equivalence) Codecov coverage report #1405: Pull request #8841 synchronize by tautschnig
1h 31m 17s tautschnig:arrays/weak-eq
tautschnig:arrays/weak-eq
1h 31m 17s
Use array comprehension for large byte_extract lowering Codecov coverage report #1404: Pull request #8840 synchronize by tautschnig
1h 18m 24s tautschnig:arrays/comprehension
tautschnig:arrays/comprehension
1h 18m 24s
Use array comprehension for large byte_extract lowering Codecov coverage report #1403: Pull request #8840 synchronize by tautschnig
1h 11m 35s tautschnig:arrays/comprehension
tautschnig:arrays/comprehension
1h 11m 35s
Fix array refinement: use actual SAT model values in get() Codecov coverage report #1402: Pull request #8842 opened by tautschnig
1h 4m 51s tautschnig:arrays/refine-get
tautschnig:arrays/refine-get
1h 4m 51s
Skip Ackermann constraints for derived arrays (weak equivalence) Codecov coverage report #1401: Pull request #8841 opened by tautschnig
50m 32s tautschnig:arrays/weak-eq
tautschnig:arrays/weak-eq
50m 32s
Use array comprehension for large byte_extract lowering Codecov coverage report #1400: Pull request #8840 opened by tautschnig
2h 14m 9s tautschnig:arrays/comprehension
tautschnig:arrays/comprehension
2h 14m 9s
Quantifier instantiation via simplistic E-matching Codecov coverage report #1399: Pull request #8224 synchronize by tautschnig
27m 10s tautschnig:features/quantifiers-elimination
tautschnig:features/quantifiers-elimination
27m 10s
New option --mmio-region to specify memory regions Codecov coverage report #1398: Pull request #6747 synchronize by tautschnig
27m 51s tautschnig:feature/mmio-cmdline
tautschnig:feature/mmio-cmdline
27m 51s
Quantifier instantiation via simplistic E-matching Codecov coverage report #1397: Pull request #8224 synchronize by tautschnig
27m 31s tautschnig:features/quantifiers-elimination
tautschnig:features/quantifiers-elimination
27m 31s
New option --mmio-region to specify memory regions Codecov coverage report #1396: Pull request #6747 synchronize by tautschnig
49m 41s tautschnig:feature/mmio-cmdline
tautschnig:feature/mmio-cmdline
49m 41s
Quantifier instantiation via simplistic E-matching Codecov coverage report #1395: Pull request #8224 synchronize by tautschnig
46m 48s tautschnig:features/quantifiers-elimination
tautschnig:features/quantifiers-elimination
46m 48s
Add string type support to SMT back-end Codecov coverage report #1394: Pull request #8838 synchronize by tautschnig
51m 0s tautschnig:smt-strings
tautschnig:smt-strings
51m 0s
Make scripts/diff-filter.pl portable to macOS Codecov coverage report #1393: Pull request #8839 opened by tautschnig
50m 12s tautschnig:diff-filter-portability
tautschnig:diff-filter-portability
50m 12s
Add string type support to SMT back-end Codecov coverage report #1392: Pull request #8838 opened by tautschnig
52m 52s tautschnig:smt-strings
tautschnig:smt-strings
52m 52s
Simplify pointer casts of pointer arithmetic Codecov coverage report #1391: Pull request #8836 opened by tautschnig
50m 8s tautschnig:simp-tc-pointer-arith
tautschnig:simp-tc-pointer-arith
50m 8s
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