diff options
Diffstat (limited to 'testsuite/synth/psl01/testsuite.sh')
| -rwxr-xr-x | testsuite/synth/psl01/testsuite.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/synth/psl01/testsuite.sh b/testsuite/synth/psl01/testsuite.sh index 3da284165..7fd87887f 100755 --- a/testsuite/synth/psl01/testsuite.sh +++ b/testsuite/synth/psl01/testsuite.sh @@ -4,7 +4,7 @@ GHDL_STD_FLAGS=--std=08 -for f in restrict1 assume1 assume2 assert1; do +for f in restrict1 restrict2 assume1 assume2 assert1; do synth -fpsl $f.vhdl -e $f > syn_$f.vhdl analyze syn_$f.vhdl done |