empty macro define lead to compile klee fail？

[llmagic]

generate tests failed and report “INTERNAL：Couldn't compile klee file from correct methods”
In log, detal information shows below

The macro EXPORTED is defined in cmakelists.txt, which is mean to define it empty

and in compile_commands.json it is defined as
-DEXPORTED=\"\"
when I change it to -DEXPORTED= in compile_commands.json, compile could pass.
Is that an bug here for compiling klee file?

[alexey-utkin]

@llmagic Thank you for your report!
It seems that the problem comes from the bear utility. The bear is used to capture the compiler setup. We are trying to localize and fix the problem, you can monitor the progress in the issue .
As work around you can manually correct the lines like this

       "command": "/utbot_distr/install/bin/clang++ -DEXPORTS=\"\"  -std=gnu++11 -o CMakeFiles/example1.dir/main.cpp.o -c /home/utbot/tmp/dev/example1/main.cpp",

from compile_commands.json to

       "command": "/utbot_distr/install/bin/clang++ -DEXPORTS=  -std=gnu++11 -o CMakeFiles/example1.dir/main.cpp.o -c /home/utbot/tmp/dev/example1/main.cpp",