From 8b87fa0f5d42a196362fb431a0de40533fa2ac92 Mon Sep 17 00:00:00 2001
From: Daniel Maier <daniel.maier@tu-berlin.de>
Date: Mon, 22 Oct 2018 14:33:13 +0200
Subject: [PATCH] perforate.sh: adapt to info2
---
perforate.sh | 11 +++++++----
1 file changed, 7 insertions(+), 4 deletions(-)
diff --git a/perforate.sh b/perforate.sh
index 46fcc13..0df253b 100755
--- a/perforate.sh
+++ b/perforate.sh
@@ -82,7 +82,7 @@ while true; do
shift
done
-input_src=$1
+input_src="$1"
scop="$input_src.openscop"
perforated="$input_src.perf.openscop"
@@ -103,14 +103,17 @@ if [ "$cmd_perforate" = "yes" ]; then
perfout="$(mktemp)"
cat "$scop" > "$perfin"
IFS="_"
- for l in $level; do
- IFS=""
- perforate "$perfin" "$perfout" "$statement" "$l"
+ echo statement is $statement
+ for s in $statement; do
+ IFS=" "
+ echo perforate "$perfin" "$perfout" "$s" "$level"
+ perforate "$perfin" "$perfout" "$s" "$level"
tmp="$perfin"
perfin="$perfout"
perfout="$tmp"
done
cat "$perfin" > "$perforated"
+ rm "$perfin" "$perfout"
fi
if [ "$cmd_generate" = "yes" ]; then
--
GitLab