/testsuite/bsc.assertions/properties/

• ../
• Makefile
• SemanticsTest.bsv
• SyntaxTest.bsv
• properties.exp
• sysSemanticsTest.out.expected