From cffb195b6d9bfc23e5f9c9961051258125c65413 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gwena=C3=ABl=20Delaval?= <gwenael.delaval@inria.fr>
Date: Mon, 6 Feb 2017 18:02:05 +0100
Subject: [PATCH] Compile/sdc/run test script

---
 test/scripts/compile_sdc_run | 2 +-
 test/scripts/config          | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/test/scripts/compile_sdc_run b/test/scripts/compile_sdc_run
index 49065f6..8dde955 100755
--- a/test/scripts/compile_sdc_run
+++ b/test/scripts/compile_sdc_run
@@ -4,7 +4,7 @@ source scripts/config
 
 progpath=$1
 shift
-bzreaxoption="$*"
+bzreaxoption="$* --heptc ../${COMPILER_DIR}/${COMPILER} --ctrl2ept ${CTRL2EPT}"
 
 # run the program: no by default
 run=0
diff --git a/test/scripts/config b/test/scripts/config
index c651e6b..411161b 100644
--- a/test/scripts/config
+++ b/test/scripts/config
@@ -26,6 +26,7 @@ JAVAC="javac -classpath ../../../lib/java:."
 JAVA="java -classpath ../../../lib/java:."
 REAX="reax"
 BZREAX="bzreax"
+CTRL2EPT="../$COMPILER_DIR/ctrl2ept.byte"
 NBSTEP=100
 
 if [ ! -x $checkdir ];