From 9a4648be97c9f0246672a6d23f052d08b3980db7 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 22 Jun 2021 06:53:54 +0200
Subject: testsuite/synth: more checks of inferred memories

---
 testsuite/synth/issue1069/testsuite.sh | 11 ++++++-----
 testsuite/synth/issue1348/testsuite.sh |  3 ++-
 2 files changed, 8 insertions(+), 6 deletions(-)

diff --git a/testsuite/synth/issue1069/testsuite.sh b/testsuite/synth/issue1069/testsuite.sh
index 783a38666..1604b4bfb 100755
--- a/testsuite/synth/issue1069/testsuite.sh
+++ b/testsuite/synth/issue1069/testsuite.sh
@@ -2,12 +2,13 @@
 
 . ../../testenv.sh
 
-synth_tb tdp_ram
-synth_tb tdp_ram2
-synth_tb ram3
-synth_tb ram4
+for f in tdp_ram tdp_ram2 ram3 ram4 ram5; do
+    synth_tb $f 2> $f.log
+    grep "found RAM" $f.log
+done
+
 #synth_tb ram41
-synth_tb ram5
+
 clean
 
 echo "Test successful"
diff --git a/testsuite/synth/issue1348/testsuite.sh b/testsuite/synth/issue1348/testsuite.sh
index 713fab53f..3fda01259 100755
--- a/testsuite/synth/issue1348/testsuite.sh
+++ b/testsuite/synth/issue1348/testsuite.sh
@@ -2,6 +2,7 @@
 
 . ../../testenv.sh
 
-synth_tb sdp_simple
+synth_tb sdp_simple 2> sdp_simple.log
+grep "found RAM" sdp_simple.log
 
 echo "Test successful"
-- 
cgit v1.2.3