diff options
Diffstat (limited to 'testsuite/gna/bug16')
-rw-r--r-- | testsuite/gna/bug16/pkg.vhdl | 2 | ||||
-rw-r--r-- | testsuite/gna/bug16/repro.vhdl | 29 | ||||
-rw-r--r-- | testsuite/gna/bug16/repro1.vhdl | 28 | ||||
-rw-r--r-- | testsuite/gna/bug16/repro2.vhdl | 18 | ||||
-rwxr-xr-x | testsuite/gna/bug16/testsuite.sh | 14 |
5 files changed, 0 insertions, 91 deletions
diff --git a/testsuite/gna/bug16/pkg.vhdl b/testsuite/gna/bug16/pkg.vhdl deleted file mode 100644 index 21c115a..0000000 --- a/testsuite/gna/bug16/pkg.vhdl +++ /dev/null @@ -1,2 +0,0 @@ -package pkg is -end pkg; diff --git a/testsuite/gna/bug16/repro.vhdl b/testsuite/gna/bug16/repro.vhdl deleted file mode 100644 index d82cc58..0000000 --- a/testsuite/gna/bug16/repro.vhdl +++ /dev/null @@ -1,29 +0,0 @@ -entity repro is -end repro; - -architecture behav of repro is - component comp is - port (s : bit); - end component; - signal s : bit; -begin - c : comp port map (s); -end behav; - -entity comp is - port (s : bit); -end comp; - -configuration conf of repro is - for behav - for c : comp - use entity work.compx (behav); - end for; - end for; -end conf; - -architecture behav of comp is -begin - assert s = '1'; -end behav; - diff --git a/testsuite/gna/bug16/repro1.vhdl b/testsuite/gna/bug16/repro1.vhdl deleted file mode 100644 index 6553079..0000000 --- a/testsuite/gna/bug16/repro1.vhdl +++ /dev/null @@ -1,28 +0,0 @@ -entity repro is -end repro; - -entity comp is - port (s : bit); -end comp; - -architecture behav of repro is - component comp is - port (s : bit); - end component; - signal s : bit; -begin - c : comp port map (s); -end behav; - -use work.pkg.all; -entity comp2 is - port (s : bit); -end comp2; - -architecture behav of comp is - component comp2 is - port (s : bit); - end component; -begin - c2: comp2 port map (s); -end behav; diff --git a/testsuite/gna/bug16/repro2.vhdl b/testsuite/gna/bug16/repro2.vhdl deleted file mode 100644 index 8691979..0000000 --- a/testsuite/gna/bug16/repro2.vhdl +++ /dev/null @@ -1,18 +0,0 @@ -configuration conf of repro is - for behav - for c : comp - use entity work.comp; - for behav - for c2 : comp2 - use entity work.comp2 (behav); - end for; - end for; - end for; - end for; -end conf; - -architecture behav of comp2 is -begin - assert s = '1'; -end behav; - diff --git a/testsuite/gna/bug16/testsuite.sh b/testsuite/gna/bug16/testsuite.sh deleted file mode 100755 index 5311492..0000000 --- a/testsuite/gna/bug16/testsuite.sh +++ /dev/null @@ -1,14 +0,0 @@ -#! /bin/sh - -. ../../testenv.sh - -analyze_failure repro.vhdl - -analyze pkg.vhdl -analyze repro1.vhdl -analyze pkg.vhdl -analyze_failure repro2.vhdl - -clean - -echo "Test successful" |