/testsuite/synth/issue1860/

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