/testsuite/synth/issue1856/

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