From 784c05572e77252c3fdfea52a1f2b875106133d1 Mon Sep 17 00:00:00 2001 From: hsc Date: Wed, 13 Jun 2012 16:43:22 +0000 Subject: [PATCH] wmoo: store more details on broken result data git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1346 8c4709b5-6ec9-48aa-a5cd-a96041d1645a --- src/experiments/weather-monitor/campaign.cc | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/experiments/weather-monitor/campaign.cc b/src/experiments/weather-monitor/campaign.cc index b4c5617d..1ad82456 100644 --- a/src/experiments/weather-monitor/campaign.cc +++ b/src/experiments/weather-monitor/campaign.cc @@ -250,7 +250,9 @@ bool WeatherMonitorCampaign::run() log << "ec.instr2 != instr_offset" << endl; } if (res->msg.result_size() != 8) { - results << "result_size " << res->msg.result_size() << endl; + results << "result_size " << res->msg.result_size() + << " instr2 " << ec.instr2 + << " data_address " << ec.data_address << endl; log << "result_size " << res->msg.result_size() << endl; }