christoph/fail
1
Fork 0
Code Actions Packages Releases Activity

ecos_kernel_test: fixed assertion

Browse Source 
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1589 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
This commit is contained in:
chb
2012-09-03 14:01:29 +00:00
parent b33609ef1d
commit 8d2fea7521
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/experiments/ecos_kernel_test/campaign.cc
View File

@ -87,8 +87,8 @@ bool EcosKernelTestCampaign::readTraceInfo(unsigned &instr_counter, unsigned &ti
count++; count++;
} }
file.close(); file.close();
assert(count == 3); assert(count == 4);
return (count == 3); return (count == 4);
} }
// equivalence class type: addr, [i1, i2] // equivalence class type: addr, [i1, i2]