-
Notifications
You must be signed in to change notification settings - Fork 30
Closed
Labels
bugSomething isn't workingSomething isn't working
Description
steps to reproduce on release tag 1.0.93
- Generate tests for calc.c
- Add into CMakeLists
add_executable(c-example main.c)
and try generate for main.c - Add line CMakeLists
target_link_libraries(c-example lib src)
and try generate for main.c
�[0m
�[0m�[31m2022-02-24 15:51:54.898 [utbot-CBJC ] Linker.cpp:535 ERR| . Don't find temporary klee file�[0m
�[0m�[31m2022-02-24 15:51:54.898 [utbot-CBJC ] Linker.cpp:535 ERR| . Don't find temporary klee file�[0m
�[0m�[2m2022-02-24 15:51:54.900 [utbot-CBJC ] BaseForkTask.cpp:59 1| . Running env out of process from pid: 93850�[0m
�[0m�[2m2022-02-24 15:51:54.900 [utbot-CBJC ] ShellExecTask.cpp:25 1| . Execute: env GTEST_FLAGS="" make -j16 -s -f /home/utbot/release/utbot_distr/tmp/utbot-CBJC/c-example/GenerationLinkMakefile.mk /home/utbot/release/utbot_distr/tmp/utbot-CBJC/c-example/build/c-example.bc -n
from directory: /home/utbot/release/utbot_distr/tmp/utbot-CBJC/c-example�[0m
�[0m�[2m2022-02-24 15:51:54.915 [utbot-CBJC ] BaseForkTask.cpp:70 1| . Exit status: 0�[0m
�[0m�[2m2022-02-24 15:51:54.917 [utbot-CBJC ] BaseForkTask.cpp:59 1| . Running echo out of process from pid: 93850�[0m
�[0m�[2m2022-02-24 15:51:54.917 [utbot-CBJC ] ShellExecTask.cpp:25 1| . Execute: echo
from directory: /home/utbot/release/utbot_distr/tmp/utbot-CBJC/c-example�[0m
�[0m�[2m2022-02-24 15:51:54.919 [utbot-CBJC ] BaseForkTask.cpp:70 1| . Exit status: 0�[0m
�[0m�[2m2022-02-24 15:51:54.921 [utbot-CBJC ] BaseForkTask.cpp:59 1| . Running env out of process from pid: 93850�[0m
�[0m�[2m2022-02-24 15:51:54.921 [utbot-CBJC ] ShellExecTask.cpp:25 1| . Execute: env GTEST_FLAGS="" make -j16 -s -f /home/utbot/release/utbot_distr/tmp/utbot-CBJC/c-example/GenerationLinkMakefile.mk /home/utbot/release/utbot_distr/tmp/utbot-CBJC/c-example/build/c-example.bc
from directory: /home/utbot/release/utbot_distr/tmp/utbot-CBJC/c-example�[0m
�[0m�[2m2022-02-24 15:51:55.030 [utbot-CBJC ] BaseForkTask.cpp:70 1| . Exit status: 0�[0m
module flag identifiers must be unique (or of 'require' type)
!"LTOPostLink"
LLVM ERROR: Broken module found, compilation aborted!
``
[utbot-20220224154123.log](https://github.com/UnitTestBot/UTBotCpp/files/8132622/utbot-20220224154123.log)
`
Metadata
Metadata
Assignees
Labels
bugSomething isn't workingSomething isn't working
Type
Projects
Status
Done