UTBotCpp icon indicating copy to clipboard operation
UTBotCpp copied to clipboard
verified publisher icon UnitTestBot

Use -link-llvm-lib for library's that we can build as LLVM ir

Open ladisgin opened this issue 3 years ago • 0 comments

Description Some project use library that compile by same cmake.

Potential solution Build library as bc and link by -link-llvm-lib klee docs

ladisgin avatar Jul 26 '22 12:07 ladisgin