Tags: UnitTestBot/klee
Tags
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
Remove build-in-base-env.yml Compile as lib for UTBot
Add support stdin/stdout with interactive mode Implement getc, fgetc, fread, fgets, getchar, gets, putc, fputc, fwrite, fputs, putchar, puts