BasicTestSuite

verify