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
10 lines
273 B
CMake
10 lines
273 B
CMake
set(SRCS
|
|
Pruner.cc
|
|
BasicPruner.cc
|
|
)
|
|
|
|
## This is the example's campaign server distributing experiment parameters
|
|
add_executable(prune-trace main.cc ${SRCS})
|
|
target_link_libraries(prune-trace -lmysqlclient fail-util)
|
|
install(TARGETS prune-trace RUNTIME DESTINATION bin)
|