christoph/fail
1
Fork 0
Code Releases Activity

ecos_kernel_test: improved dependency check

Browse Source 
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@2074 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
This commit is contained in:
adrian
2013-02-07 10:43:03 +00:00
parent 1ce8f0ab12
commit b996617a97
1 changed files with 14 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
src/experiments/ecos_kernel_test/experiment.cc
View File

@ -18,6 +18,7 @@
#include "util/ElfReader.hpp"
#include "util/WallclockTimer.hpp"
#include "util/gzstream/gzstream.h"
#include "config/FailConfig.hpp"
// You need to have the tracing plugin enabled for this
#include "../plugins/tracing/TracingPlugin.hpp"
@ -39,9 +40,19 @@ using namespace std;
using namespace fail;
// Check if configuration dependencies are satisfied:
#if !defined(CONFIG_EVENT_BREAKPOINTS) || !defined(CONFIG_SR_RESTORE) || \
!defined(CONFIG_SR_SAVE) || !defined(CONFIG_EVENT_TRAP)
#error This experiment needs: breakpoints, traps, save, and restore. Enable these in the configuration.
#if PREREQUISITES == 1
#if !defined(CONFIG_EVENT_BREAKPOINTS) || !defined(CONFIG_SR_RESTORE) || \
!defined(CONFIG_SR_SAVE) || !defined(CONFIG_EVENT_GUESTSYS) || \
!defined(CONFIG_SR_REBOOT) || !defined(CONFIG_EVENT_MEMREAD) || \
!defined(CONFIG_EVENT_MEMWRITE) // -> tracing plugin
#error This experiment needs: breakpoints, save, restore, memread, memwrite, reboot and guest.
#endif
#else
#if !defined(CONFIG_EVENT_BREAKPOINTS) || !defined(CONFIG_SR_RESTORE) || \
!defined(CONFIG_EVENT_TRAP) || !defined(CONFIG_EVENT_MEMREAD) || \
!defined(CONFIG_EVENT_MEMWRITE) || !defined(CONFIG_EVENT_BREAKPOINTS_RANGE)
#error This experiment needs: breakpoints (+range), traps, memread, memwrite and restore.
#endif
#endif
#if PREREQUISITES