Release KLEEF Test-Comp 2025 · UnitTestBot/klee

What's Changed

Enable differential shellcheck by @misonijnik in #160
[feat] KValue base class by @S1eGa in #161
Move the dependencies from the submodules to build.sh by @misonijnik in #163
Entry point multiplex, no nonstd::optional, no interactive mode by @ocelaiwo in #164
Fix cirrus-ci by @misonijnik in #165
Fix concretized DSU by @misonijnik in #166
Remove unnecessary field from the ImmutableList by @ladisgin in #168
[fix] fix bitwuzla build version fix by @ocelaiwo in #169
Annotations by @ladisgin in #109
SARIF reports by @S1eGa in #167
Pre-commit clang-format hook by @S1eGa in #171
Clang-format hook: removed auto-fixing of PRs. by @S1eGa in #174
Rework TargetManager by @misonijnik in #172
[feat] ObjectManager by @ocelaiwo in #173
Hotfix msan by @misonijnik in #177
Fully symbolic memory, multiplex entry points, fair searcher by @misonijnik in #176
Migrate to our ghcr.io repository by @misonijnik in #180
fix: Fix macOS CI failures by @misonijnik in #185
fix: Fix naming for coverage related files by @misonijnik in #186
fix: Get rid of the testcases spamming mode by @misonijnik in #187
Pointers fixes by @S1eGa in #188
Compile warnings fixes by @S1eGa in #178
feat: Take commits from KLEE 3.1 by @misonijnik in #196
Fix stp build by @ocelaiwo in #200
Fix macos ci by @misonijnik in #201
feat: Reintroduce concrete store by @ocelaiwo in #197

Full Changelog: testcomp24...testcomp25