Appease CI with module_dependencies and spaces

Author: Petr Bauch

src/goto-programs/goto_program.cpp

@@ -687,7 +687,7 @@ void goto_programt::instructiont::validate(
       has_target(),
       "goto instruction expects at least one target",
       source_location);
-    //get_target checks that targets.size()==1
+    // get_target checks that targets.size()==1
     DATA_CHECK_WITH_DIAGNOSTICS(
       get_target()->is_target() && get_target()->target_number != 0,
       "goto target has to be a target",

src/util/std_expr.cpp

@@ -219,17 +219,17 @@ bool evaluates_to_boolean(const exprt &e)
   if(e.id() == ID_typecast)
     return e.type().id() == ID_bool;
 
-  //Boolean constants
+  // Boolean constants
   if(e.id() == ID_true || e.id() == ID_false)
     return true;
   if(e.id() == ID_constant)
     return true;
 
-  //Symbols
+  // Symbols
   if(e.id() == ID_symbol)
     return true;
 
-  //arithmetic relations
+  // Arithmetic relations
   if(e.id() == ID_equal || e.id() == ID_notequal)
     return true;
   if(e.id() == ID_ieee_float_equal || e.id() == ID_ieee_float_notequal)
@@ -239,15 +239,15 @@ bool evaluates_to_boolean(const exprt &e)
   if(e.id() == ID_le || e.id() == ID_lt)
     return true;
 
-  //propositional operators
+  // Propositional operators
   if(
     e.id() == ID_not || e.id() == ID_and || e.id() == ID_or ||
     e.id() == ID_implies)
     return true;
   if(e.id() == ID_exists || e.id() == ID_forall)
     return true;
 
-  //weird
+  // Other
   if(
     e.id() == ID_isfinite || e.id() == ID_isnormal || e.id() == ID_isinf ||
     e.id() == ID_isnan)

unit/goto-programs/module_dependencies.txt

@@ -0,0 +1,3 @@
+goto-programs
+testing-utils
+util