/testsuite/bsc.syntax/bsv05/statename/

• ../
• Makefile
• Module2.bs
• StateNameTest.bsv
• StateNameTest2.bsv
• UseMod2.bsv
• UseMod2Arrow.bsv
• statename.exp
• sysStateNameTest.atsexpand.expected
• sysStateNameTest2.atsexpand.expected
• sysUseMod2.atsexpand.expected
• sysUseMod2Arrow.atsexpand.expected