-
Notifications
You must be signed in to change notification settings - Fork 30
Closed
Labels
Description
Description
When trying to generate tests with UTBot auto target, generation fails.
To Reproduce
Steps to reproduce the behavior:
- Configure and run UTBot.
- Try to generate test for file
UTBotCpp/server/test/suites/stub/lib/literals/foo.c
inside projectUTBotCpp/server/test/suites/stub
with auto target enabled. - See error message:
compile_commands.json doesn't contain a command for source file /home/utbot/UTBotCpp-deploy/server/test/suites/stub/lib/literals/foo.c
- Then choose
exe
target. - Run generation again.
- See successfully generated tests.
Expected behavior
Tests are supposed to be generated with auto target enabled.
Actual behavior
Tests are not generated with auto target enabled.
Environment
UTBot main branch (commit)
Metadata
Metadata
Assignees
Labels
Type
Projects
Status
Done