-
Notifications
You must be signed in to change notification settings - Fork 27
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[BUG] UTBot server dies on specific project with custom build script #490
Comments
Let me know if whole project need to be sent to you directly. Unfortunately GitHub cannot upload it. |
I checked this bug on redis.
To check whether the server crashes because of this, I propose to fix the configuration of the project so that it is built in the /redis/build/ directory. |
After discussion it was decided to add proper handling and logging of the error which causes Segmentation fault, so server doesn't die but reports details of configuration problem. Proper configuration of the project is out of the scope current issue. |
The server doesn't fault so often anymore even when miss-configuration happens, so we can close this case now. |
Description
To Reproduce
Steps to reproduce the behavior:
utbot_build.sh
to the root of the project utbot_build.zipMakefile
fromsrc
with attached oneMakefile.zip
src
folderExpected behavior
Tests are generated.
Actual behavior

Generation fails with an error
Server process exited without any logs.
Additional information
I've added
utbot_build.sh
file which enterssrc
folder and startsmake
.Also
Makefile
was modified, so it outputs tobuild
directoryThe text was updated successfully, but these errors were encountered: