Thanks to visit codestin.com
Credit goes to github.com

Skip to content

UTBot auto target fails #557

@Lana243

Description

@Lana243

Description
When trying to generate tests with UTBot auto target, generation fails.

To Reproduce
Steps to reproduce the behavior:

  1. Configure and run UTBot.
  2. Try to generate test for file UTBotCpp/server/test/suites/stub/lib/literals/foo.c inside project UTBotCpp/server/test/suites/stub with auto target enabled.
  3. 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
  1. Then choose exe target.
  2. Run generation again.
  3. 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

bugSomething isn't workingverifiedBug fix is verified

Type

No type

Projects

Status

Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions