From 1d087fee777608454f341db543d1d1af2f8c36c9 Mon Sep 17 00:00:00 2001
From: Peter Waegemann <waegemann@cs.fau.de>
Date: Sun, 22 Apr 2018 12:45:07 +0200
Subject: [PATCH] Dump .lp file for final WCRE analysis
---
arch/patmos/CMakeLists.txt | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/arch/patmos/CMakeLists.txt b/arch/patmos/CMakeLists.txt
index da0434f7..c12e440f 100644
--- a/arch/patmos/CMakeLists.txt
+++ b/arch/patmos/CMakeLists.txt
@@ -88,7 +88,6 @@ macro(dosek_executable ELFFILE)
COMMAND ${TC_TARGET_PLATIN} wcet -i ${SYSTEM_PML} -i ${GCFG_PML} --binary ${ELFFILE}
--wca-count-instructions --disable-ait --wca-detect-gurobi
--dref-stats ${PROJECT_BINARY_DIR}/${ELFFILE}.`printenv CIRCUIT`.dref
- --wca-write-lp-file ${PROJECT_BINARY_DIR}/${ELFFILE}.`printenv CIRCUIT`.lp
-e GCFG:timing-`printenv CIRCUIT`)
# target to run the static WCEC analysis with platin
@@ -98,6 +97,7 @@ macro(dosek_executable ELFFILE)
COMMAND ${TC_TARGET_PLATIN} wcet -i ${SYSTEM_PML} -i ${GCFG_PML} --binary ${ELFFILE}
--wca-count-instructions --disable-ait --wca-detect-gurobi --wcec
--dref-stats ${PROJECT_BINARY_DIR}/${ELFFILE}.`printenv CIRCUIT`.dref
+ --wca-write-lp-file ${PROJECT_BINARY_DIR}/${ELFFILE}.`printenv CIRCUIT`.lp
-e GCFG:timing-`printenv CIRCUIT`)
# target to run a simulation with pasim
--
GitLab