Skip to content
Snippets Groups Projects
Select Git revision
  • 943f42cf7de3618910527a14b63e51f8216f649e
  • master default
2 results

run.stats

Blame
  • 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" )