Select Git revision
Forked from
Per Lindgren / klee_tutorial
Source project has a limited visibility.
CMakeLists.txt 168 B
add_llvm_loadable_module(SkeletonPass
# List your source files here.
Skeleton.cpp
)
set_target_properties(SkeletonPass PROPERTIES COMPILE_FLAGS "-std=c++11" )