protected override TestCase CreateTestCase (string filename, string [] options, string [] deps) { return new PositiveTestCase (filename, options, deps); }