956112cc01
Implemented two instantiations of Fault-Space Regions (FSR) as a program-structure-guided approximation of fault spaces based on the precise Def/Use-Pruning using basic blocks or function calls. Further reading: Program-Structure-Guided Approximation of Large Fault Spaces Oskar Pusz and Daniel Kiechle and Christian Dietrich and Daniel Lohmann In: 24th Pacific Rim International Symposium on Dependable Computing (PRDC'19) IEEE Computer Science Press, 2019 Some configurations for bochs and generic-experiment
17 lines
452 B
CMake
17 lines
452 B
CMake
set(SRCS
|
|
Pruner.cc
|
|
BasicPruner.cc
|
|
FESamplingPruner.cc
|
|
SamplingPruner.cc
|
|
BasicBlockPruner.cc
|
|
CallRegionPruner.cc
|
|
)
|
|
|
|
find_package(MySQL REQUIRED)
|
|
set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} ${MYSQL_CFLAGS}")
|
|
|
|
## 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)
|