diff options
| author | Tristan Gingold <tgingold@free.fr> | 2022-04-13 20:58:43 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2022-04-13 20:58:43 +0200 |
| commit | 057fcd45c357f6933de646a7086a44b190efee6f (patch) | |
| tree | 9b50de170e4415182b130d67f2516a6fcb424ab8 /testsuite/synth/issue2033/testsuite.sh | |
| parent | 951f45147a203381e2b2d3aec51606c1a7657642 (diff) | |
| download | ghdl-057fcd45c357f6933de646a7086a44b190efee6f.tar.gz ghdl-057fcd45c357f6933de646a7086a44b190efee6f.tar.bz2 ghdl-057fcd45c357f6933de646a7086a44b190efee6f.zip | |
testsuite/synth: add a test for #2033
Diffstat (limited to 'testsuite/synth/issue2033/testsuite.sh')
| -rwxr-xr-x | testsuite/synth/issue2033/testsuite.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/synth/issue2033/testsuite.sh b/testsuite/synth/issue2033/testsuite.sh new file mode 100755 index 000000000..388377739 --- /dev/null +++ b/testsuite/synth/issue2033/testsuite.sh @@ -0,0 +1,8 @@ +#! /bin/sh + +. ../../testenv.sh + +export GHDL_STD_FLAGS=--std=08 +synth cdc_fifo.vhdl cdc_fifo_rtl_formal.psl -e > syn_cdc_fifo.vhdl + +echo "Test successful" |