/testsuite/bsc.verilog/portprops/