Changes in src/main.cc [3830c84:372b6d3]

File:

• src/main.cc (modified) (5 diffs)

src/main.cc

@@ -9 +9 @@
 // Author           : Peter Buhr and Rob Schluntz
 // Created On       : Fri May 15 23:12:02 2015
-// Last Modified By : Andrew Beach
-// Last Modified On : Thr Feb 16 10:08:00 2023
-// Update Count     : 680
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Mon Apr 10 21:12:17 2023
+// Update Count     : 682
 //
 
@@ -504 +504 @@
 
 
-static const char optstring[] = ":c:ghlLmNnpdP:S:twW:D:";
+static const char optstring[] = ":c:ghilLmNnpdP:S:twW:D:";
 
 enum { PreludeDir = 128 };
@@ -511 +511 @@
         { "gdb", no_argument, nullptr, 'g' },
         { "help", no_argument, nullptr, 'h' },
+        { "invariant", no_argument, nullptr, 'i' },
         { "libcfa", no_argument, nullptr, 'l' },
         { "linemarks", no_argument, nullptr, 'L' },
-        { "no-main", no_argument, 0, 'm' },
+        { "no-main", no_argument, nullptr, 'm' },
         { "no-linemarks", no_argument, nullptr, 'N' },
         { "no-prelude", no_argument, nullptr, 'n' },
@@ -532 +533 @@
         "wait for gdb to attach",                                                       // -g
         "print translator help message",                                        // -h
+        "invariant checking during AST passes",                         // -i
         "generate libcfa.c",                                                            // -l
         "generate line marks",                                                          // -L
@@ -625 +627 @@
                         usage( argv );                                                          // no return
                         break;
+                  case 'i':                                                                             // invariant checking
+                        invariant = true;
+                        break;
                   case 'l':                                                                             // generate libcfa.c
                         libcfap = true;