From a0fc0ac7758b6a1561ba5ec753c6e2cbafb83f4b Mon Sep 17 00:00:00 2001 From: smccam Date: Fri, 31 Oct 2008 23:24:01 +0000 Subject: [PATCH] Die with an explicit error message if the user tries a multi-character option, rather than silently ignoring the remaining characters git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@37 e59a4935-1847-0410-ae03-e826735625c1 --- parser/main.cpp | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/parser/main.cpp b/parser/main.cpp index 35047d7..4f1034e 100644 --- a/parser/main.cpp +++ b/parser/main.cpp @@ -83,7 +83,7 @@ int main(int argc, char ** argv) { helpstring += "-h : help\n"; for(int i=1; i < argc;i++) { - if(argv[i][0] == '-') + if(argv[i][0] == '-') { switch(argv[i][1]) { case 'a' : BEEV::optimize = false; @@ -151,7 +151,14 @@ int main(int argc, char ** argv) { return -1; break; } - else { + if(argv[i][2]) { + fprintf(stderr, "Multiple character options are not allowed.\n"); + fprintf(stderr, "(-ab is not an abbreviation for -a -b)\n"); + fprintf(stderr,usage,prog); + cout << helpstring; + return -1; + } + } else { infile = argv[i]; yyin = fopen(infile,"r"); if(yyin == NULL) { -- 2.47.3