Gklee
Gklee copied to clipboard
Geof23
GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
Some variables conflicting with local gcc variables. Better commented out. Path file path was wrong in SetupExterns.cmake and patch command had a missing '
Hello there! I can run test code successfully in gklee, but when I am trying to use gklee on some other code, face a strange issue: sesa seems halt forever....
The build fails when building stp. More information available on request.
I tried a build with 3.0 and it had a problem with the compiler feature check (c++11). 3.2 works fine
2023-01-03 14:09:32 (4.45 MB/s) - ‘compiler-rt-3.2.src.tar.gz’ saved [1463061/1463061] cp: cannot stat '/home/ubuntu/Gklee/llvm/patch/compiler-rt_lib_asan.patch': No such file or directory make[2]: *** [CMakeFiles/LLVM.dir/build.make:103: ../llvm/src/LLVM-stamp/LLVM-patch] Error 1 make[1]: *** [CMakeFiles/Makefile2:609: CMakeFiles/LLVM.dir/all] Error 2 make:...
