From aba1ad1e4dc82f7dce44c341f3b901b9d32bd435 Mon Sep 17 00:00:00 2001 From: hsc Date: Tue, 3 Jul 2012 14:33:03 +0000 Subject: [PATCH] checksum-oostubs: traces aren't single protobuf messages ... therefore we shouldn't use the .pb file extension here. Simply rename your existing .pb to .tc for reuse. +defining LOCAL for experiment debugging (disabled) git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1415 8c4709b5-6ec9-48aa-a5cd-a96041d1645a --- src/experiments/checksum-oostubs/campaign.cc | 2 +- src/experiments/checksum-oostubs/experiment.cc | 4 +++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/src/experiments/checksum-oostubs/campaign.cc b/src/experiments/checksum-oostubs/campaign.cc index f8ff5e2a..ccf2bdaa 100644 --- a/src/experiments/checksum-oostubs/campaign.cc +++ b/src/experiments/checksum-oostubs/campaign.cc @@ -19,7 +19,7 @@ using namespace std; using namespace fail; -char const * const trace_filename = "trace.pb"; +char const * const trace_filename = "trace.tc"; char const * const results_filename = "chksumoostubs.csv"; // equivalence class type: addr, [i1, i2] diff --git a/src/experiments/checksum-oostubs/experiment.cc b/src/experiments/checksum-oostubs/experiment.cc index 8e7c76f3..25bb9bb3 100644 --- a/src/experiments/checksum-oostubs/experiment.cc +++ b/src/experiments/checksum-oostubs/experiment.cc @@ -21,6 +21,8 @@ #include "ecc_region.hpp" +#define LOCAL 0 + using namespace std; using namespace fail; @@ -73,7 +75,7 @@ bool ChecksumOOStuBSExperiment::run() tp.restrictMemoryAddresses(&mm); // record trace - char const *tracefile = "trace.pb"; + char const *tracefile = "trace.tc"; ofstream of(tracefile); tp.setTraceFile(&of);