3a5dc285ab
This tool creates the fault-space pruning pilot and group entries. Those are used by the generic campaign to do fault experiments. Currently prune-trace only implements conventional def/use pruning (--prune-method "basic"). Change-Id: I1dfb431e3b1d3cd2ee891a49a3b6ac01210be11f
16 lines
446 B
CMake
16 lines
446 B
CMake
option(BUILD_IMPORT_TRACE "Build the trace import tool?" OFF)
|
|
option(BUILD_PRUNE_TRACE "Build the trace prune tool?" OFF)
|
|
|
|
|
|
### Setup search paths for headers ##
|
|
include_directories(${CMAKE_CURRENT_BINARY_DIR}/../src/core)
|
|
include_directories(${CMAKE_CURRENT_SOURCE_DIR}/../src/core)
|
|
|
|
if(BUILD_IMPORT_TRACE)
|
|
add_subdirectory(import-trace)
|
|
endif(BUILD_IMPORT_TRACE)
|
|
|
|
if(BUILD_PRUNE_TRACE)
|
|
add_subdirectory(prune-trace)
|
|
endif(BUILD_PRUNE_TRACE)
|