-
Notifications
You must be signed in to change notification settings - 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