public void TestLoadSystemConfig()
{
var Config = new TestArrangement().TestLoadConfig(Path.Combine(new TestArrangement().GetTestDefaultPath(new CommandOption("--blub", CommandOptionType.SingleValue),
new CommandOption("--blib", CommandOptionType.SingleValue),
new CommandOption("--bleb", CommandOptionType.SingleValue)).configPath, @"Config.json"));
Assert.NotNull(Config);
}
public void findTestDirectory()
{
var TestDirectory = new TestArrangement().GetTestDefaultPath(new CommandOption("--blub", CommandOptionType.SingleValue),
new CommandOption("--blib", CommandOptionType.SingleValue),
new CommandOption("--bleb", CommandOptionType.SingleValue));
List <string> Testlist = new TestArrangement().FindTestDirectory(new TestArrangement().ProofTestDirectory(TestDirectory.Path));
Assert.NotNull(Testlist);
Assert.Empty(Testlist);
}
