79211fd31d
The SamplingPruner implements "normal" sampling with equivalence-class reuse. Unlike the FESamplingPruner, the SamplingPruner implements uniform fault-space sampling that counts multiple hits of an equivalence class. This change modifies the database schema, more specifically it adds the "weight" column to the fspgroup table. Update existing databases with this query: ALTER TABLE fspgroup ADD COLUMN weight INT UNSIGNED; Change-Id: I668fc9b25fc4d79a60aa1ef8d69cdf5fa076cc6d
15 lines
392 B
CMake
15 lines
392 B
CMake
set(SRCS
|
|
Pruner.cc
|
|
BasicPruner.cc
|
|
FESamplingPruner.cc
|
|
SamplingPruner.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)
|