Codecov coverage report

Workflow runs for Codecov coverage report

• [Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements

  failed:
  Codecov coverage report#3180:Pull request#8878synchronizebytautschnig
  tautschnig:cpp11-parser-rework-squashed

  Oct 30, 20262m 42s
  More actions for workflow run 3180

• Fix byte_update lowering for updates of symbolic size

  failed:
  Codecov coverage report#3179:Pull request#9380openedbymelver
  melver:fix-byte-update-symbolic-size

  Oct 30, 20264m 18s
  More actions for workflow run 3179

• missing cstdint.h identified by alpine linux source build

  failed:
  Codecov coverage report#3178:Pull request#9379openedbyneeraj9
  neeraj9:fix-missing-cstdint-alpine

  Oct 30, 20263m 28s
  More actions for workflow run 3178

• re-baseline include-what-you-use after ubuntu-latest bump

  failed:
  Codecov coverage report#3177:Pull request#9378openedbykroening
  include-what-you-use-cleanup

  Oct 29, 20262m 6s
  More actions for workflow run 3177

• downgrade check-clang-format CI job to ubuntu-22.04

  failed:
  Codecov coverage report#3176:Pull request#9377openedbykroening
  github-clang-format-job

  Oct 29, 20262m 31s
  More actions for workflow run 3176

• Doc: Do not put architectural pages into module_hidden

  failed:
  Codecov coverage report#3175:Pull request#9375openedbymkannwischer
  mkannwischer:doc-fix-hidden-pages

  Oct 29, 20265m 59s
  More actions for workflow run 3175

• Merge pull request #9104 from diffblue/error_exceptiont

  failed:
  Codecov coverage report#3174:Commit03bd072pushedbykroening
  develop

  Oct 28, 20264h 52m 46s
  More actions for workflow run 3174

• SMT2: parse values of bit-fields

  failed:
  Codecov coverage report#3173:Pull request#9278synchronizebytautschnig
  tautschnig:kiro/rr-2-16-smt2-parse-bitfield

  Oct 28, 202612h 33m 5s
  More actions for workflow run 3173

• Goto conversion: convert __builtin_isgreater and friends to expressions

  failed:
  Codecov coverage report#3172:Pull request#9280synchronizebytautschnig
  tautschnig:kiro/rr-2-18-isgreater-crash

  Oct 28, 202612h 25m 51s
  More actions for workflow run 3172

• C library: pthread_rwlock_unlock must accept write locks

  failed:
  Codecov coverage report#3171:Pull request#9273synchronizebytautschnig
  tautschnig:kiro/rr-2-08-rwlock-unlock

  Oct 28, 202612h 18m 46s
  More actions for workflow run 3171

• Fill in hostent fields in gethostbyname/gethostbyaddr/gethostent

  failed:
  Codecov coverage report#3170:Pull request#9254synchronizebytautschnig
  tautschnig:kiro/rr-1-13-gethostent

  Oct 28, 202612h 7m 59s
  More actions for workflow run 3170

• Fix constant shift distances above INT_MAX in SAT backend

  failed:
  Codecov coverage report#3169:Pull request#9281synchronizebytautschnig
  tautschnig:kiro/rr-2-21-boolbv-huge-shift

  Oct 28, 202612h 6m 25s
  More actions for workflow run 3169

• Incremental SMT2: fix nested array address scaling

  failed:
  Codecov coverage report#3168:Pull request#9284synchronizebytautschnig
  tautschnig:kiro/rr-2-33-incr-smt2-nested-array-addr

  Oct 28, 202611h 48m 2s
  More actions for workflow run 3168

• Fix alignment of structs with unnamed bit-fields

  failed:
  Codecov coverage report#3167:Pull request#9246synchronizebytautschnig
  tautschnig:kiro/rr-1-05-unnamed-bitfield-alignment

  Oct 28, 202611h 49m 25s
  More actions for workflow run 3167

• SMT2: fix extractbit with a non-constant index

  failed:
  Codecov coverage report#3166:Pull request#9295synchronizebytautschnig
  tautschnig:kiro/rr-37-extractbit-index-cast

  Oct 28, 202611h 39m 14s
  More actions for workflow run 3166

• C library: pthread_rwlock_rdlock must allow concurrent readers

  failed:
  Codecov coverage report#3165:Pull request#9257synchronizebytautschnig
  tautschnig:kiro/rr-1-17-rwlock-rdlock

  Oct 28, 202611h 31m 6s
  More actions for workflow run 3165

• Fix getopt model to advance optind after each option

  failed:
  Codecov coverage report#3164:Pull request#9263synchronizebytautschnig
  tautschnig:kiro/rr-1-25-getopt

  Oct 28, 202611h 24m 32s
  More actions for workflow run 3164

• Fix C11 call_once and thrd_create library models

  failed:
  Codecov coverage report#3163:Pull request#9255synchronizebytautschnig
  tautschnig:kiro/rr-1-15-c11-call-once

  Oct 28, 202611h 12m 28s
  More actions for workflow run 3163

• Incremental SMT2: fix shift extension for mismatched widths

  failed:
  Codecov coverage report#3162:Pull request#9283synchronizebytautschnig
  tautschnig:kiro/rr-2-32-incr-smt2-shift-width

  Oct 28, 202611h 0m 20s
  More actions for workflow run 3162

• C library: strcpy/strcat overlap checks must compare byte ranges

  failed:
  Codecov coverage report#3161:Pull request#9271synchronizebytautschnig
  tautschnig:kiro/rr-2-05-strcpy-overlap

  Oct 28, 202610h 49m 19s
  More actions for workflow run 3161

• C library: sqrt models must round correctly in all rounding modes

  failed:
  Codecov coverage report#3160:Pull request#9244synchronizebytautschnig
  tautschnig:kiro/rr-1-02-sqrt-rne

  Oct 28, 202610h 52m 9s
  More actions for workflow run 3160

• Use enum underlying type for integer promotion

  failed:
  Codecov coverage report#3159:Pull request#9247synchronizebytautschnig
  tautschnig:kiro/rr-1-06-enum-underlying-type

  Oct 28, 202610h 35m 43s
  More actions for workflow run 3159

• C library: fdim must return NaN for NaN arguments

  failed:
  Codecov coverage report#3158:Pull request#9266synchronizebytautschnig
  tautschnig:kiro/rr-1-28-fdim-nan

  Oct 28, 202610h 29m 51s
  More actions for workflow run 3158

• Fix fesetround model to reject invalid rounding modes

  failed:
  Codecov coverage report#3157:Pull request#9265synchronizebytautschnig
  tautschnig:kiro/rr-1-27-fesetround

  Oct 28, 202610h 17m 46s
  More actions for workflow run 3157

• Fix pthread_key_create: make key counter process-wide

  failed:
  Codecov coverage report#3156:Pull request#9258synchronizebytautschnig
  tautschnig:kiro/rr-1-20-key-create

  Oct 28, 202611h 24m 24s
  More actions for workflow run 3156