diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-06-05 21:29:20 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-06-06 15:45:38 -0400 |
commit | d344d4874bda7e90692149d6989c8ca63f0db602 (patch) | |
tree | 19ca2fb6b0045ee34a70949e436dda2b8e0fe851 /src/options | |
parent | d9391910e499d03b5a01345b572dc89c930bdb51 (diff) |
-{d,t} help => --show-{debug,trace}-tags
Diffstat (limited to 'src/options')
-rw-r--r-- | src/options/base_options_handlers.h | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/src/options/base_options_handlers.h b/src/options/base_options_handlers.h index 15813a774..e701ee13d 100644 --- a/src/options/base_options_handlers.h +++ b/src/options/base_options_handlers.h @@ -121,6 +121,18 @@ inline std::string suggestTags(char const* const* validTags, std::string inputTa inline void addTraceTag(std::string option, std::string optarg, SmtEngine* smt) { if(Configuration::isTracingBuild()) { if(!Configuration::isTraceTag(optarg.c_str())) + + if(optarg == "help") { + printf("available tags:"); + unsigned ntags = Configuration::getNumTraceTags(); + char const* const* tags = Configuration::getTraceTags(); + for(unsigned i = 0; i < ntags; ++ i) { + printf(" %s", tags[i]); + } + printf("\n"); + exit(0); + } + throw OptionException(std::string("trace tag ") + optarg + std::string(" not available.") + suggestTags(Configuration::getTraceTags(), optarg) ); @@ -134,6 +146,18 @@ inline void addDebugTag(std::string option, std::string optarg, SmtEngine* smt) if(Configuration::isDebugBuild() && Configuration::isTracingBuild()) { if(!Configuration::isDebugTag(optarg.c_str()) && !Configuration::isTraceTag(optarg.c_str())) { + + if(optarg == "help") { + printf("available tags:"); + unsigned ntags = Configuration::getNumDebugTags(); + char const* const* tags = Configuration::getDebugTags(); + for(unsigned i = 0; i < ntags; ++ i) { + printf(" %s", tags[i]); + } + printf("\n"); + exit(0); + } + throw OptionException(std::string("debug tag ") + optarg + std::string(" not available.") + suggestTags(Configuration::getDebugTags(), optarg, Configuration::getTraceTags()) ); |