/testsuite/synth/issue1850/

• ../
• detector.psl
• pulse.vhdl
• testsuite.sh