path: root/testsuite/synth/issue1860/test.psl

VUNIT test_formal (test) {
    u_test_formal_test: ENTITY work.test_formal_test(formal);
}