Uses of Class
korat.config.ConfigManager

Packages that use ConfigManager

korat.config
korat.testing.impl

Uses of ConfigManager in korat.config

Fields in korat.config declared as ConfigManager

private static ConfigManager

ConfigManager.instance

Methods in korat.config that return ConfigManager

static ConfigManager

ConfigManager.getInstance()

Uses of ConfigManager in korat.testing.impl

Fields in korat.testing.impl declared as ConfigManager

protected ConfigManager

TestCradle.config