New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Create a simple approach to use llvm, gotollvm and klee with minimal build time #15

Open

PolyProgrammist opened this issue Dec 1, 2021 · 0 comments

Member

PolyProgrammist commented Dec 1, 2021 •

edited

Loading

Need to figure out:
What time is used to build llvm
What time is used to build gotollvm

Klee builds about 5 minutes if llvm is installed
LLVM builds about several hours
gotollvm builds also about several hours

In UTBotCpp simple llvm build is provided with ready to use docker image, which is a great way
https://github.com/UnitTestBot/UTBotCpp/pkgs/container/utbotcpp%2Fbase_env

Also maybe some llvm libs can be downloaded with apt without building llvm

Use this guide to build llvm with less pain https://github.com/Software-Analysis-Team/UnitTestFuzzerCPP/wiki/Сборка-clang-llvm

Maybe klee docker can be used or other simple procedures to install kleee https://klee.github.io/getting-started/

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment