/testsuite/ghdl-issues/issue2392b/

• ../
• compare_psl_p_plus.sby
• compare_psl_p_plus.vhdl
• psl_p_plus.vhdl
• psl_p_plus.ys
• testsuite.sh