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]