summaryrefslogtreecommitdiff
path: root/BCT/Test/alltests.txt
blob: 0c01ab99eb689c5e0df38bd2af5a96a766c71f29 (plain)
1
2
test0		 Use    Translation of Statements
test1    Use    Some simple verification tests