/testsuite/bsc.syntax/bsv05/attribs/
../
AttribsActionNakedExpr.bsv
AttribsBVI.bsv
AttribsCase.bsv
AttribsIfcNaked.bsv
AttribsNestedAction.bsv
AttribsSubIfcEq.bsv
AttribsSubIfcSemi.bsv
Makefile
attribs.exp