christoph/fail
1
Fork 0
Code Actions Packages Releases Activity

ecos_kernel_test: compare serial output for coptermock benchmark

Browse Source 
Change-Id: Ic4f13035d55c811bda7fa020114141b816a11ed8
This commit is contained in:
Christoph Borchert
2016-04-19 15:10:43 +02:00
parent 89866de85f
commit 85844b86cc
1 changed files with 13 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
src/experiments/ecos_kernel_test/experiment.cc
View File

@ -768,6 +768,19 @@ bool EcosKernelTestExperiment::faultInjection() {
bool output_correct; bool output_correct;
if (m_variant != "mibench") { if (m_variant != "mibench") {
output_correct = ecos_test_passed && !ecos_test_failed; output_correct = ecos_test_passed && !ecos_test_failed;
if (m_benchmark == "coptermock") {
std::vector<char> serial_correct = loadFile(filename_serial(m_variant, m_benchmark));
if (serial_correct.size() == 0) {
log << "sanity check failed, golden run should have had output" << endl;
simulator.terminate(0);
}
std::string serial_actual = sol.getOutput();
if (serial_actual.size() != serial_correct.size() ||
!equal(serial_actual.begin(), serial_actual.end(), serial_correct.begin())) {
output_correct = false;
}
}
log << "Ecos Test " << (output_correct ? "PASS" : "FAIL") << endl; log << "Ecos Test " << (output_correct ? "PASS" : "FAIL") << endl;
} else { } else {
std::vector<char> serial_correct = loadFile(filename_serial(m_variant, m_benchmark)); std::vector<char> serial_correct = loadFile(filename_serial(m_variant, m_benchmark));