-
Notifications
You must be signed in to change notification settings - Fork 30
Closed
Labels
Description
Description
UTBot failed on coreutils while building the project.
To Reproduce
Steps to reproduce the behavior:
- Open and configure
coreutilsproject - Using CLI run the following command
./utbot all --project-path /path/to/coreutils --tests-dir utbot-tests - See logs:
Command: "/utbot_distr/install/bin/clang -iquote/home/utbot/coreutils/src -emit-llvm -c -Xclang -disable-O0-optnone -g -fstandalone-debug -fno-discard-value-names -fno-elide-constructors -DKLEE_MODE=1 -fsanitize=alignment,builtin,bounds,enum,float-cast-overflow,float-divide-by-zero,implicit-unsigned-integer-truncation,implicit-signed-integer-truncation,implicit-integer-sign-change,integer-divide-by-zero,nonnull-attribute,null,nullability-arg,nullability-assign,nullability-return,pointer-overflow,return,returns-nonnull-attribute,shift,unreachable,vla-bound -I/home/utbot/coreutils/build/utbot/flags -c -I. -I.. -I./lib -Ilib -I../lib -Isrc -I../src -g -O0 -o /home/utbot/coreutils/build/src/wc_klee.bc /home/utbot/coreutils/build/src/wc_klee.c"
Directory: "/home/utbot/coreutils/build"
In file included from /home/utbot/coreutils/build/src/wc_klee.c:5:
In file included from /home/utbot/coreutils/src/wc.c:29:
/home/utbot/coreutils/src/system.h:19:10: fatal error: 'attribute.h' file not found
#include <attribute.h>
^~~~~~~~~~~~~
1 error generated.
/home/utbot/coreutils/build/utbot_build/BCForKLEE.mk:4: recipe for target 'build' failed
make: *** [build] Error 1
Environment
This issue is reproduced on commit portable tests from main branch and not reproduced on the previous commit from main branch. As this commit is the first one after release 2022.7.0 issue is not reproduced on that release.
Metadata
Metadata
Labels
Type
Projects
Status
Done