Package korat.config

Class Summary

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.