aremmell / libsir

95%

master: 95%

LAST BUILD ON BRANCH johnsonjh/20230906/cbmc1

branch: johnsonjh/20230906/cbmc1

CHANGE BRANCH

x

Reset

• johnsonjh/20230906/cbmc1
• master
• thread-pool
• write-async
• johnsonjh/20230728/gitlab_badge
• johnsonjh/20230729/dlfcn
• johnsonjh/20230730/orangec
• johnsonjh/20230730/clang-cl
• johnsonjh/20230731/importc
• johnsonjh/20230731/upd1
• update-gfx
• update-gfx-clean
• johnsonjh/20230801/upd2
• johnsonjh/20230802/cicd1
• johnsonjh/20230805/compat1
• johnsonjh/20230808/fdattr
• johnsonjh/20230809/embarcadero
• johnsonjh/20230813/cppcheck
• 2.2.2
• 2.2.3-dev
• v2.2.2
• johnsonjh/20230819/m32w
• win-32-bit
• johnsonjh/20230820/readme
• johnsonjh/20230821/circle
• johnsonjh/20230823/semi-stmt
• johnsonjh/20230823/bad-function-cast
• johnsonjh/20230823/missing-variable-declarations
• johnsonjh/20230823/switch-enum
• johnsonjh/20230823/timeopt
• johnsonjh/20230823/glibc238
• Wextra-semi-stmt
• johnsonjh/20230823/urloverride
• johnsonjh/20230823/Wformat-nonliteral
• johnsonjh/20230823/winarm
• johnsonjh/20230824/coverity-master
• johnsonjh/20230825/readme
• johnsonjh/20230825/fix2
• snprintf_trunc
• maybe-enums
• syslog-getrand
• johnsonjh/20230829/attr
• plugins-bad-refactor
• enum-removal
• johnsonjh/20230829/aocc41
• johnsonjh/20230829/af1
• johnsonjh/20230829/dumaosx
• johnsonjh/20230829/coverity
• msvc-atomics
• johnsonjh/20230830/fix1
• perf-09-23
• thread-id-name-perf
• set-thread-names
• johnsonjh/20230906/coverity1
• johnsonjh/20230906/coverity2
• johnsonjh/20230906/cbmc2
• file-fstat-perf
• andeql-logic-fix
• win-file-io
• johnsonjh/20230907/avx
• johnsonjh/20230907/orangec1
• perf-plus-plus
• johnsonjh/20230907/uclibc
• johnsonjh/20230908/logcheck
• missing-time
• annoyance
• revert-win32-io
• vs-user-files
• tls-error-cleanup
• 2.2.3-rel
• johnsonjh/20230908/uClibc-ng
• johnsonjh/20230908/dpsprintf
• v2.2.3
• johnsonjh/20230908/2.2.4-dev
• python
• doxygen-update
• johnsonjh/20230909/emcc
• xcode
• johnsonjh/20230909/autodeps
• is-initialized
• johnsonjh/20230921/pvs
• 092323/readme
• 092323/codeowners
• 092323/geterrorinfo
• johnsonjh/20230923/linguist
• 092423/squelch-bug
• 092423/coverage
• 092423/vscode-tasks
• 092423/win-evt-log
• johnsonjh/20230926/coverity
• johnsonjh/20230926/coverity1
• johnsonjh/20230926/coverity2
• 092623/newlines
• 092623/getch
• 092623/thread-pool
• 092623/fix-rolling
• johnsonjh/20230927/clang-cl
• 092723/coverity
• 092723/new-rolling-test
• johnsonjh/20230928/semgrep
• johnsonjh/20230928/retval
• johnsonjh/20230928/cfi
• johnsonjh/20230928/cfi2
• 093023/minor
• johnsonjh/20230930/m1
• johnsonjh/20230930/nprocs
• johnsonjh/20231001/aix
• johnsonjh/20231001/progname
• johnsonjh/20231003/misc
• johnsonjh/20231004/misc
• johnsonjh/20231006/cpu
• johnsonjh/20231008/misc
• johnsonjh/20231013/jhj1
• johnsonjh/20231014/bsd
• johnsonjh/20231016/tpf
• johnsonjh/20231016/style
• johnsonjh/20231016/tpf3
• johnsonjh/20231017/utils
• johnsonjh/20231018/vxworks
• johnsonjh/20231018/docs
• johnsonjh/20231019/docs
• johnsonjh/20231019/openbsd
• johnsonjh/20231022/spdx
• johnsonjh/20231025/netbsd
• johnsonjh/20231025/typos
• johnsonjh/20231027/docs
• johnsonjh/20231110/embarcadero23
• johnsonjh/20231113/funcheck
• johnsonjh/20231114/intelc
• johnsonjh/20231114/nj
• johnsonjh/20231116/nvhpc
• johnsonjh/20231117/msvc178
• johnsonjh/20231118/fcfast
• johnsonjh/20231119/iter
• johnsonjh/20231126/thr
• platformio
• merge_pio
• johnsonjh/20231212/ci
• johnsonjh/20231213/netbsd_pid
• johnsonjh/20231213/align
• johnsonjh/20231213/readme
• johnsonjh/20231220/readme
• johnsonjh/20231220/strcasestr
• johnsonjh/20231221/nonpermissive
• johnsonjh/20231221/shellcheck
• v2.2.4
• johnsonjh/20231223/225dev
• version.h
• 122523/cppcheck
• johnsonjh/20240103/readme
• johnsonjh/20240107/autoformat
• johnsonjh/20240108/readme1
• johnsonjh/20240111/spelling
• johnsonjh/20240114/upd1
• johnsonjh/20240117/wget2
• johnsonjh/20240118/tf1
• johnsonjh/20240120/kefir
• johnsonjh/20240123/readme
• johnsonjh/20240124/boost
• johnsonjh/20240125/gccsa
• johnsonjh/20240125/gccsa-cflags
• johnsonjh/20240204/pase
• dev/pase
• dev/pase2
• johnsonjh/20240208/ibmtls
• johnsonjh/20240212/test
• johnsonjh/20240212/rhbz2263904
• johnsonjh/20240213/ci
• johnsonjh/20240213/pvs
• johnsonjh/20240214/xlc
• johnsonjh/20240217/os400
• johnsonjh/20240217/mcmb
• johnsonjh/20240220/memset
• johnsonjh/20240221/macosx
• johnsonjh/20240224/compup1
• johnsonjh/20240308/SIR_NO_TEXT_STYLING
• ossf-scorecard
• scorecard
• johnsonjh/20240323/compilers
• johnsonjh/20240324/OpenOSC
• johnsonjh/20240327/comp
• johnsonjh/20240404/hadolint
• johnsonjh/20240409/reuse2
• johnsonjh/20240409/pvs
• johnsonjh/style-cleanup
• johnsonjh/mcmb
• johnsonjh/mcmb3
• johnsonjh/semgrep-suppress
• johnsonjh/20240503/upd1
• johnsonjh/20240503/musl
• johnsonjh/20240507/ws
• johnsonjh/20240515/readme
• johnsonjh/20240624/readme
• johnsonjh/20240602/upd1
• johnsonjh/20240603/upd1
• johnsonjh/20240604/upd1
• johnsonjh/20240611/upd1
• johnsonjh/20240611/upd2
• johnsonjh/20240619/upd1
• johnsonjh/20240630/upd1
• johnsonjh/20240702/upd1
• johnsonjh/20240715/upd1
• 20240727/johnsonjh/upd1
• 20240804/johnsonjh/ndk27
• 20240809/johnsonjh/bsdlint
• 20240815/johnsonjh/circle
• 20240819/johnsonjh/upd2
• 20240915/johnsonjh/upd1
• johnsonjh/20241105/upd1
• johnsonjh/20241107/2.2.5

Build # 527

Build Type

Pull #263

gitlab-ci

Committed by web-flow

Commit Message

Merge branch 'master' into johnsonjh/20230906/cbmc1

Pull Request Pull Request #263: Thread pool fixes

Run Details

50 of 50 new or added lines in 2 files covered. (100.0%)

3133 of 3311 relevant lines covered (94.62%)

600632.73 hits per line