Skip to content

Actions: diffblue/cbmc

Actions

Codecov coverage report

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yaml
1,388 workflow runs
1,388 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Fix typing of array expressions within an C ternary ? : operator Codecov coverage report #2192: Pull request #9012 opened by rod-chapman
27m 35s rod-chapman:array_ite_fix
rod-chapman:array_ite_fix
27m 35s
Do not use as const with Z3 due to soundness issue Codecov coverage report #2191: Pull request #9011 opened by tautschnig
27m 36s tautschnig:z3-workaround
tautschnig:z3-workaround
27m 36s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Codecov coverage report #2190: Pull request #8465 synchronize by yvizel
Action required yvizel:develop
yvizel:develop
Action required
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Codecov coverage report #2189: Pull request #8465 synchronize by yvizel
Action required yvizel:develop
yvizel:develop
Action required
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Codecov coverage report #2188: Pull request #8878 synchronize by tautschnig
28m 58s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
28m 58s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Codecov coverage report #2187: Pull request #8878 synchronize by tautschnig
52m 25s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
52m 25s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Codecov coverage report #2186: Pull request #8878 synchronize by tautschnig
54m 45s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
54m 45s
introduce reduction_*_exprt classes Codecov coverage report #2185: Pull request #9010 synchronize by kroening
29m 8s reduction_exprt
reduction_exprt
29m 8s
introduce reduction_*_exprt classes Codecov coverage report #2184: Pull request #9010 opened by kroening
31m 15s reduction_exprt
reduction_exprt
31m 15s
use std::string_view for safe_string2int Codecov coverage report #2183: Pull request #9009 opened by kroening
48m 39s safe_string2int
safe_string2int
48m 39s
Merge pull request #9007 from diffblue/feature/from-chars-string2int Codecov coverage report #2182: Commit 82ba0cc pushed by kroening
52m 12s develop
develop
52m 12s
Use std::from_chars instead of stoll/stoull in string2int.h Codecov coverage report #2181: Pull request #9007 synchronize by kroening
49m 11s feature/from-chars-string2int
feature/from-chars-string2int
49m 11s
Use std::from_chars instead of stoll/stoull in string2int.h Codecov coverage report #2180: Pull request #9007 synchronize by kroening
45m 59s feature/from-chars-string2int
feature/from-chars-string2int
45m 59s
Use std::from_chars instead of stoll/stoull in string2int.h Codecov coverage report #2179: Pull request #9007 synchronize by kroening
53m 21s feature/from-chars-string2int
feature/from-chars-string2int
53m 21s
Use std::from_chars instead of stoll/stoull in string2int.h Codecov coverage report #2178: Pull request #9007 synchronize by kroening
1h 7m 46s feature/from-chars-string2int
feature/from-chars-string2int
1h 7m 46s
Use std::from_chars instead of stoll/stoull in string2int.h Codecov coverage report #2177: Pull request #9007 synchronize by kroening
1h 4m 13s feature/from-chars-string2int
feature/from-chars-string2int
1h 4m 13s
Use std::from_chars instead of stoll/stoull in string2int.h Codecov coverage report #2176: Pull request #9007 synchronize by kroening
1h 6m 14s feature/from-chars-string2int
feature/from-chars-string2int
1h 6m 14s
Use std::from_chars instead of stoll/stoull in string2int.h Codecov coverage report #2175: Pull request #9007 opened by kroening
46m 39s feature/from-chars-string2int
feature/from-chars-string2int
46m 39s
use std::string_view in dstring Codecov coverage report #2174: Pull request #9006 synchronize by kroening
1h 8m 2s dstring_string_view
dstring_string_view
1h 8m 2s
use std::string_view in string_utils Codecov coverage report #2173: Pull request #9005 synchronize by kroening
49m 13s string_utils_string_view
string_utils_string_view
49m 13s
use std::string_view in string_utils Codecov coverage report #2172: Pull request #9005 synchronize by kroening
48m 30s string_utils_string_view
string_utils_string_view
48m 30s
use std::string_view in dstring Codecov coverage report #2171: Pull request #9006 opened by kroening
58m 4s dstring_string_view
dstring_string_view
58m 4s
use std::string_view in string_utils Codecov coverage report #2170: Pull request #9005 opened by kroening
25m 40s string_utils_string_view
string_utils_string_view
25m 40s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Codecov coverage report #2169: Pull request #8878 synchronize by tautschnig
28m 50s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
28m 50s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements Codecov coverage report #2168: Pull request #8878 synchronize by tautschnig
49m 24s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
49m 24s