Add reminders of places to invoke default argument setup after testing

Author: NlightNFotis

src/goto-analyzer/goto_analyzer_parse_options.cpp

@@ -67,6 +67,7 @@ void goto_analyzer_parse_optionst::get_command_line_options(optionst &options)
   if(cmdline.isset("function"))
     options.set_option("function", cmdline.get_value("function"));
 
+  // TODO: Will need to add the default one here.
   // all checks supported by goto_check
   PARSE_OPTIONS_GOTO_CHECK(cmdline, options);
 

src/goto-diff/goto_diff_parse_options.cpp

@@ -59,6 +59,7 @@ void goto_diff_parse_optionst::get_command_line_options(optionst &options)
   if(cmdline.isset("cover"))
     parse_cover_options(cmdline, options);
 
+  // TODO: May need to add default one here.
   // all checks supported by goto_check
   PARSE_OPTIONS_GOTO_CHECK(cmdline, options);
 

src/goto-instrument/goto_instrument_parse_options.cpp

@@ -1025,6 +1025,7 @@ void goto_instrument_parse_optionst::instrument_goto_program()
   else
     options.set_option("simplify", true);
 
+  // TODO: May need to add the default one here
   // all checks supported by goto_check
   PARSE_OPTIONS_GOTO_CHECK(cmdline, options);
 

src/libcprover-cpp/api_options.cpp

@@ -18,6 +18,7 @@ static std::unique_ptr<optionst> make_internal_default_options()
 {
   std::unique_ptr<optionst> options = util_make_unique<optionst>();
   cmdlinet command_line;
+  // TODO: May need to add the default one here.
   PARSE_OPTIONS_GOTO_CHECK(command_line, (*options));
   parse_solver_options(command_line, *options);
   options->set_option("built-in-assertions", true);