s/sequential/flow-sensitive/ as there are other sequential analyses.

Author: martin

src/goto-analyzer/goto_analyzer_parse_options.cpp

@@ -277,19 +277,19 @@ void goto_analyzer_parse_optionst::get_command_line_options(optionst &options)
 
 
   // Abstract interpreter choice
-  options.set_option("sequential", false);
+  options.set_option("flow-sensitive", false);
   options.set_option("concurrent", false);
 
-  if (cmdline.isset("sequential"))
-    options.set_option("sequential", true);
+  if (cmdline.isset("flow-sensitive"))
+    options.set_option("flow-sensitive", true);
   else if (cmdline.isset("concurrent"))
     options.set_option("concurrent", true);
   else
   {
     is_threadedt is_threaded(goto_model.goto_functions);
     bool contains_concurrent_code = is_threaded();
 
-    options.set_option("sequential", !contains_concurrent_code);
+    options.set_option("flow-sensitive", !contains_concurrent_code);
     options.set_option("concurrent",  contains_concurrent_code);
   }
 
@@ -654,7 +654,7 @@ void goto_analyzer_parse_optionst::help()
     " --simplify file_name         run abstract interpreter and simplify program\n"
     "\n"
     "Abstract interpreter options:\n"
-    " --sequential                 use sequential abstract interpreter\n"
+    " --flow-sensitive             use flow-sensitive abstract interpreter\n"
     " --concurrent                 use concurrent abstract interpreter\n"
     "\n"
     "Domain options:\n"

src/goto-analyzer/goto_analyzer_parse_options.h

@@ -39,7 +39,7 @@ class optionst;
   "(non-null)(show-non-null)" \
   "(constants)" \
   "(show)(verify)(simplify):" \
-  "(sequential)(concurrent)"
+  "(flow-sensitive)(concurrent)"
 
 class goto_analyzer_parse_optionst:
   public parse_options_baset,

src/goto-analyzer/static_analyzer.cpp

@@ -252,7 +252,7 @@ bool static_analyzer(
   message_handlert &message_handler,
   std::ostream &out)
 {
-  if (options.get_bool_option("sequential"))
+  if (options.get_bool_option("flow-sensitive"))
   {
     if (options.get_bool_option("constants"))
       return static_analyzert<ait<constant_propagator_domaint> >

src/goto-analyzer/static_show_domain.cpp

@@ -38,7 +38,7 @@ bool static_show_domain(
 {
   ai_baset *domain = NULL;
 
-  if (options.get_bool_option("sequential"))
+  if (options.get_bool_option("flow-sensitive"))
   {
     if (options.get_bool_option("constants"))
       domain = new ait<constant_propagator_domaint>();

src/goto-analyzer/static_simplifier.cpp

@@ -235,7 +235,7 @@ bool static_simplifier(
   message_handlert &message_handler,
   std::ostream &out)
 {
-  if (options.get_bool_option("sequential"))
+  if (options.get_bool_option("flow-sensitive"))
   {
     if (options.get_bool_option("constants"))
       return static_simplifiert<ait<constant_propagator_domaint> >