Merge pull request diffblue#3437 from martin-cs/feature/goto-analyzer-verify-as-default

Feature/goto analyzer verify as default

Author: Daniel Kroening

src/goto-analyzer/goto_analyzer_parse_options.cpp

@@ -225,7 +225,7 @@ void goto_analyzer_parse_optionst::get_command_line_options(optionst &options)
     options.set_option("intervals", true);
     options.set_option("domain set", true);
   }
-  else if(cmdline.isset("(show-non-null)"))
+  else if(cmdline.isset("show-non-null"))
   {
     // For backwards compatibility
     options.set_option("show", true);
@@ -235,8 +235,10 @@ void goto_analyzer_parse_optionst::get_command_line_options(optionst &options)
   }
   else if(cmdline.isset("intervals") || cmdline.isset("non-null"))
   {
-    // For backwards compatibility either of these on their own means show
-    options.set_option("show", true);
+    // Partial backwards compatability, just giving these domains without
+    // a task will work.  However it will use the general default of verify
+    // rather than their historical default of show.
+    options.set_option("verify", true);
     options.set_option("general-analysis", true);
   }