/testsuite/synth/issue1859/

• ../
• test.psl
• test.vhdl
• testsuite.sh