christoph/fail
1
Fork 0
Code Actions Packages Releases Activity

wmoo: experiment steps 1+2 merge

Browse Source 
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1152 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
This commit is contained in:
hsc
2012-04-24 13:12:36 +00:00
parent b203a5ae91
commit c63155f072
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
core/experiments/weathermonitor/experiment.cc
View File

@ -49,7 +49,7 @@ bool WeathermonitorExperiment::run()
sal::simulator.save(statename); sal::simulator.save(statename);
assert(bp.getTriggerInstructionPointer() == WEATHER_FUNC_MAIN); assert(bp.getTriggerInstructionPointer() == WEATHER_FUNC_MAIN);
assert(sal::simulator.getRegisterManager().getInstructionPointer() == WEATHER_FUNC_MAIN); assert(sal::simulator.getRegisterManager().getInstructionPointer() == WEATHER_FUNC_MAIN);
#elif 0
// STEP 2: record trace for fault-space pruning // STEP 2: record trace for fault-space pruning
log << "restoring state" << endl; log << "restoring state" << endl;
sal::simulator.restore(statename); sal::simulator.restore(statename);