/testsuite/synth/issue1372/

• ../
• issue.vhdl
• issue_psl.vhdl
• testsuite.sh