/testsuite/bsc.vcdcheck/