remove --aig option

Author: Daniel Kroening

src/cbmc/cbmc_parse_options.cpp

@@ -309,9 +309,6 @@ void cbmc_parse_optionst::get_command_line_options(optionst &options)
       "max-node-refinement",
       cmdline.get_value("max-node-refinement"));
 
-  if(cmdline.isset("aig"))
-    options.set_option("aig", true);
-
   // SMT Options
 
   if(cmdline.isset("smt1"))

src/cbmc/cbmc_parse_options.h

@@ -52,7 +52,7 @@ class optionst;
   "(string-printable)" \
   "(string-max-length):" \
   "(string-max-input-length):" \
-  "(aig)(16)(32)(64)(LP64)(ILP64)(LLP64)(ILP32)(LP32)" \
+  "(16)(32)(64)(LP64)(ILP64)(LLP64)(ILP32)(LP32)" \
   "(little-endian)(big-endian)" \
   OPT_SHOW_GOTO_FUNCTIONS \
   OPT_SHOW_PROPERTIES \