0da8ba0dec
The FESamplingPruner implements the fault-expansion variance reduction technique (FE-VRT) as described in: Smith, D. Todd and Johnson, Barry W. and Andrianos, Nikos and Profeta, III, Joseph A., "A variance-reduction technique via fault-expansion for fault-coverage estimation" (1997), 366--374. Change-Id: I04a0c9bb2622974278bd8c73793e51451119e650
14 lines
372 B
CMake
14 lines
372 B
CMake
set(SRCS
|
|
Pruner.cc
|
|
BasicPruner.cc
|
|
FESamplingPruner.cc
|
|
)
|
|
|
|
find_package(MySQL REQUIRED)
|
|
include_directories(${MYSQL_INCLUDE_DIR})
|
|
|
|
## This is the example's campaign server distributing experiment parameters
|
|
add_executable(prune-trace main.cc ${SRCS})
|
|
target_link_libraries(prune-trace ${MYSQL_LIBRARIES} fail-util)
|
|
install(TARGETS prune-trace RUNTIME DESTINATION bin)
|