From e8fcf66901a3bdf056b8d9677ed59d5877237645 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Wed, 23 Mar 2016 18:23:41 +0100
Subject: [PATCH] [e-acsl-gcc.sh] Added code for segment-based model
---
src/plugins/e-acsl/scripts/e-acsl-gcc.sh | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index 17c9742b757..cb5ea34d15d 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -368,6 +368,7 @@ mmodel_sources() {
model=""
case "$1" in
bittree) model="bittree_model/e_acsl_bittree_mmodel.c" ;;
+ segment) model="segment_model/e_acsl_segment_mmodel.c" ;;
*) error "Memory model '$1' does not exist" ;;
esac
model="$EACSL_SHARE/$model"
--
GitLab