From 8d2fea75211088c0b714042437c8de219eb61b66 Mon Sep 17 00:00:00 2001 From: chb Date: Mon, 3 Sep 2012 14:01:29 +0000 Subject: [PATCH] ecos_kernel_test: fixed assertion git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1589 8c4709b5-6ec9-48aa-a5cd-a96041d1645a --- src/experiments/ecos_kernel_test/campaign.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/experiments/ecos_kernel_test/campaign.cc b/src/experiments/ecos_kernel_test/campaign.cc index 4a9240b2..96243ac5 100644 --- a/src/experiments/ecos_kernel_test/campaign.cc +++ b/src/experiments/ecos_kernel_test/campaign.cc @@ -87,8 +87,8 @@ bool EcosKernelTestCampaign::readTraceInfo(unsigned &instr_counter, unsigned &ti count++; } file.close(); - assert(count == 3); - return (count == 3); + assert(count == 4); + return (count == 4); } // equivalence class type: addr, [i1, i2]