Enforced the coding rules in cbmc_parse_options.cpp and symex_parse_options.cpp

Signed-off-by: Lucas Cordeiro <lucasccordeiro@gmail.com>

Author: lucasccordeiro

src/cbmc/cbmc_parse_options.cpp

@@ -943,7 +943,7 @@ bool cbmc_parse_optionst::process_goto_program(
 
       status() << "Instrumenting coverage goals" << eom;
 
-      instrument_cover_goalst goals(symbol_table,criteria);
+      instrument_cover_goalst goals(symbol_table, criteria);
       goals.instrument_cover_goals(goto_functions);
 
       goto_functions.update();

src/symex/symex_parse_options.cpp

@@ -397,7 +397,7 @@ bool symex_parse_optionst::process_goto_program(const optionst &options)
       }
 
       status() << "Instrumenting coverge goals" << eom;
-      instrument_cover_goalst goals(symbol_table,{c});
+      instrument_cover_goalst goals(symbol_table, {c});
       goals.instrument_cover_goals(goto_model.goto_functions);
       goto_model.goto_functions.update();
     }