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

diff --git a/parser/main.cpp b/parser/main.cpp
index 35047d7c743dc7a618e1f1368f73627a07a0ee2d..4f1034ef2817a7f297d6aa93538c994f657f4c20 100644 (file)
--- 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) {