Codecov coverage report

2195 workflow runs

C library: models of strtol_l, strtoul_l, strtoll_l and strtoull_l
completed successfully:
Codecov coverage report#3350:Pull request#9444openedbytautschnig
tautschnig:pr/c-strtol-l-family
Nov 10, 202652m 26s
library_check: exclude tests.log from regression/cbmc-library scan
completed successfully:
Codecov coverage report#3349:Pull request#9443openedbytautschnig
tautschnig:pr/c-library-check-tests-log
Nov 10, 202650m 49s
C library: link the model of _InterlockedIncrement
completed successfully:
Codecov coverage report#3348:Pull request#9442openedbytautschnig
tautschnig:pr/c-interlocked-increment
Nov 10, 202648m 6s
C library: model of uselocale
completed successfully:
Codecov coverage report#3347:Pull request#9441openedbytautschnig
tautschnig:pr/c-uselocale
Nov 10, 202641m 32s
C library: localeconv returns the "C" locale's values
completed successfully:
Codecov coverage report#3346:Pull request#9440openedbytautschnig
tautschnig:pr/c-localeconv
Nov 10, 202632m 4s
ansi-c library: model strtoll, strtoul and strtoull
completed successfully:
Codecov coverage report#3345:Pull request#9439openedbytautschnig
tautschnig:pr/c-strtoll-strtoul-strtoull
Nov 10, 202629m 37s
C library: exact integer conversions in the model of vsnprintf
completed successfully:
Codecov coverage report#3344:Pull request#9438openedbytautschnig
tautschnig:pr/c-vsnprintf-integer-conversions
Nov 10, 202623m 31s
C library: models of memchr and __builtin_char_memchr
completed successfully:
Codecov coverage report#3343:Pull request#9437openedbytautschnig
tautschnig:pr/c-memchr
Nov 10, 202624m 49s
C library: the time.c model builds with clang on Linux
completed successfully:
Codecov coverage report#3342:Pull request#9436openedbytautschnig
tautschnig:pr/c-time-clang-pragma
Nov 10, 202624m 24s
CPROVER library: __builtin_X falls back to the model of X
completed successfully:
Codecov coverage report#3341:Pull request#9434synchronizebytautschnig
tautschnig:pr/c-builtin-fallback-to-model
Nov 10, 202627m 1s
CPROVER library: __builtin_X falls back to the model of X
completed successfully:
Codecov coverage report#3340:Pull request#9434openedbytautschnig
tautschnig:pr/c-builtin-fallback-to-model
Nov 10, 20261h 22m 15s
CPROVER library: strstr and strpbrk
completed successfully:
Codecov coverage report#3339:Pull request#9433openedbytautschnig
tautschnig:pr/c-strstr-strpbrk
Nov 10, 20261h 10m 43s
C library: __builtin_memcpy and __builtin_memmove, and zero bytes from null
completed successfully:
Codecov coverage report#3338:Pull request#9432openedbytautschnig
tautschnig:pr/c-memcpy-memmove-models
Nov 10, 20261h 1m 44s
ansi-c library: model __builtin_assume_aligned
completed successfully:
Codecov coverage report#3337:Pull request#9431openedbytautschnig
tautschnig:pr/c-assume-aligned-builtin
Nov 10, 202649m 5s
Merge pull request #9414 from tautschnig/pr/clang-format-cpp20
completed successfully:
Codecov coverage report#3336:Commit107a1e5pushedbykroening
develop
Nov 10, 20263h 27m 39s
SMT2 back-end: only values under `as const' for cvc5
completed successfully:
Codecov coverage report#3335:Pull request#9419synchronizebytautschnig
tautschnig:pr/smt2-cvc5-as-const
Nov 10, 20263h 40m 59s
Simplifier: a sizeof factor of one keeps its annotation
completed successfully:
Codecov coverage report#3334:Pull request#9421synchronizebytautschnig
tautschnig:pr/simplify-sizeof-factor-one
Nov 10, 20263h 19m 56s
C++ front end tests: C++11
completed successfully:
Codecov coverage report#3333:Pull request#9411synchronizebytautschnig
tautschnig:pr/cpp-tests-cpp11
Nov 10, 20263h 18m 28s
SMT2 back-end: declare a quantified logic when quantifiers are emitted
completed successfully:
Codecov coverage report#3332:Pull request#9417synchronizebytautschnig
tautschnig:pr/smt2-quantified-logic
Nov 10, 20263h 1m 25s
C++ front end tests: C++98/03 and unversioned
completed successfully:
Codecov coverage report#3331:Pull request#9408synchronizebytautschnig
tautschnig:pr/cpp-tests-cpp98
Nov 10, 20263h 4m 21s
Byte-operator lowering: a negative constant offset
completed successfully:
Codecov coverage report#3330:Pull request#9428synchronizebytautschnig
tautschnig:pr/byte-extract-negative-offset
Nov 10, 20262h 31m 24s
Simplify relations of pointers to distinct objects to false
completed successfully:
Codecov coverage report#3329:Pull request#9430openedbytautschnig
tautschnig:pr/simplify-distinct-object-relations
Nov 10, 20263h 36m 17s
Simplifier: a struct member read through byte operations of other bytes
completed successfully:
Codecov coverage report#3328:Pull request#9429openedbytautschnig
tautschnig:pr/simplify-struct-member-byte-ops
Nov 10, 20263h 28m 31s
Byte-operator lowering: a negative constant offset
failed:
Codecov coverage report#3327:Pull request#9428openedbytautschnig
tautschnig:pr/byte-extract-negative-offset
Nov 10, 20262h 58m 55s
util: simplify p - p to 0 for identical pointer operands
completed successfully:
Codecov coverage report#3326:Pull request#9427openedbytautschnig
tautschnig:pr/simplify-pointer-minus-itself
Nov 10, 20262h 46m 59s