-
Couldn't load subscription status.
- Fork 30
Closed
Labels
enhancementNew feature or requestNew feature or request
Description
Description
Put klee files in utbot_build (right now it's in build) directory. Put Makefile in separate directory in tests
Potential solution
As a hint, look into how klee file paths are built from compile_commands.json in BuildDatabase::createClangCompileCommandsJson (see how output is set and analyze how getCCJsonFileFullPath affects setting output in CompileCommand constructor)
Metadata
Metadata
Assignees
Labels
enhancementNew feature or requestNew feature or request
Type
Projects
Status
Done
