/testsuite/synth/issue1850/

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