christoph/fail
1
Fork 0
Code Actions Packages Releases Activity

tools/prune-trace: fault-space pruning tool

Browse Source 
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
This commit is contained in:
Christian Dietrich
2013-03-21 15:32:44 +01:00
parent 1d25372283
commit 3a5dc285ab
7 changed files with 261 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
tools/CMakeLists.txt
View File

@ -1,4 +1,6 @@
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)
@ -7,3 +9,7 @@ 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)