From 257a3fb542ccc4bfc4288a2ed4b0ed35b28fe7ad Mon Sep 17 00:00:00 2001
From: Christoph Borchert <christoph.borchert@tu-dortmund.de>
Date: Fri, 19 Jun 2015 17:25:39 +0200
Subject: [PATCH] ecos_kernel_test: fix using wrong filename for serial output

Change-Id: I59ed61e2e4ee7ffe1a29390dd6ff0264406c3e7b
---
 src/experiments/ecos_kernel_test/experiment.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/experiments/ecos_kernel_test/experiment.cc b/src/experiments/ecos_kernel_test/experiment.cc
index d5569441..cb1cd657 100644
--- a/src/experiments/ecos_kernel_test/experiment.cc
+++ b/src/experiments/ecos_kernel_test/experiment.cc
@@ -407,7 +407,7 @@ bool EcosKernelTestExperiment::performTrace(guest_address_t addr_entry, guest_ad
 
 	simulator.removeFlow(&sol);
 	ofstream of_serial(filename_serial(m_variant, m_benchmark).c_str(), ios::out|ios::binary);
-	if (!of.fail()) {
+	if (!of_serial.fail()) {
 		of_serial << sol.getOutput();
 	} else {
 		log << "failed to write " << filename_serial(m_variant, m_benchmark) << endl;