diff options
Diffstat (limited to 'testsuite/gna/issue158')
| -rw-r--r-- | testsuite/gna/issue158/golden_repro.txt | 12 | ||||
| -rwxr-xr-x | testsuite/gna/issue158/testsuite.sh | 8 |
2 files changed, 17 insertions, 3 deletions
diff --git a/testsuite/gna/issue158/golden_repro.txt b/testsuite/gna/issue158/golden_repro.txt new file mode 100644 index 000000000..a197f0c62 --- /dev/null +++ b/testsuite/gna/issue158/golden_repro.txt @@ -0,0 +1,12 @@ +type integer is range <>; +design + package standard: + instance repro: + generate-for genf: (1) + block blk: + generate-for genf: (2) + block blk: + generate-if geni: + block blk: +Time is 0 fs +Time is 0 fs diff --git a/testsuite/gna/issue158/testsuite.sh b/testsuite/gna/issue158/testsuite.sh index cc3b19ef5..b38f802ca 100755 --- a/testsuite/gna/issue158/testsuite.sh +++ b/testsuite/gna/issue158/testsuite.sh @@ -3,11 +3,13 @@ . ../../testenv.sh analyze repro.vhdl +elab repro if ghdl_has_feature repro ghw; then - elab_simulate repro --wave=repro.ghw - # How to test the ghw ? Use ghwdump ? + simulate repro --wave=repro.ghw | tee repro.out + ghw_diff repro + rm -f repro.out repro.txt repro.ghw fi + clean -rm -f repro.ghw echo "Test successful" |