Update klee to new version · UnitTestBot/UTBotCpp@a018ad2

Triggered via pull request October 17, 2023 21:25

ladisgin

synchronize #644

ladisgin/update_klee

Status Failure

Total duration 29m 41s

Artifacts 2

build-utbot.yml

on: pull_request

Matrix: build-utbot-and-generate-test

Matrix: build-utbot-and-run-integration-tests

Matrix: build-utbot-and-run-unit-tests

1 error

Process completed with exit code 139.

Produced during runtime

Name	Size
UTBot unit tests logs Expired	19.1 MB
project Expired	3.2 MB