Uses of Package
korat.config

Packages that use korat.config

korat.config
korat.testing.impl

Classes in korat.config used by korat.config

ConfigLoader
Class that should be used only by CodeManager for command line options loading/parsing purposes.

ConfigManager
Single point for obtaining korat options

MyOption
Just like org.apache.commons.cli.Option with default value for the option's argument in addition.

Classes in korat.config used by korat.testing.impl

ConfigManager
Single point for obtaining korat options