Skip to content

Tags: UnitTestBot/klee

Tags

2025-05-05

Toggle 2025-05-05's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
ci: Fix docker release workflow (#203)

* ci: Fix `freebsd` image version on cirrus

* ci: Pin Ubuntu version to set Z3 as a default solver for macOS

* chore: Update gtest version

* ci: Update llvm version in Dockerfile

* fix(scripts): Fix ShellCheck warning

* feat(build): Add `ENABLE_FP_RUNTIME` option

* style: Use a vector instead of an array as a variable-length container

* chore(docker): Update Dockerfile

* test: Require `not-ubsan` for a couple of tests with 32-bit binaries

test

Toggle test's commit message
ci(release): Update registry

testcomp25

Toggle testcomp25's commit message
fix: Decrease `checkMemoryUsage` threshhold

testcomp24

Toggle testcomp24's commit message
[chore] Update `kleef`

utbot-2023.10.0

Toggle utbot-2023.10.0's commit message
Remove build-in-base-env.yml

Compile as lib for UTBot

utbot-2023.09.0

Toggle utbot-2023.09.0's commit message
[tempfix] Write addresses of MOs in KTest

v2.3-utbot

Toggle v2.3-utbot's commit message
Fix stdin-read variable

v2.2-utbot

Toggle v2.2-utbot's commit message
Add support stdin/stdout with interactive mode

Implement getc, fgetc, fread, fgets, getchar, gets, putc, fputc, fwrite, fputs, putchar, puts

v2.2

Toggle v2.2's commit message
Update version to 2.2

v2.1

Toggle v2.1's commit message
Release notes for 2.1