Merge pull request diffblue#263 from diffblue/branch-unconditional

Change terminology of dependence graph 'branch' property

Author: chrisr-diffblue

src/analyses/dependence_graph.cpp

@@ -535,7 +535,7 @@ void dep_graph_domaint::output(
       if(!control_deps.empty() || it!=control_dep_calls.begin())
         out << ",";
 
-      out << (*it)->location_number << " [CALL]";
+      out << (*it)->location_number << " [UNCONDITIONAL]";
     }
 
     out << "\n";
@@ -602,7 +602,7 @@ jsont dep_graph_domaint::output_json(
       json_numbert(std::to_string(target->location_number));
     link["sourceLocation"]=json(target->source_location);
     link["type"]=json_stringt("control");
-    link["branch"]=json_stringt("CALL");
+    link["branch"]=json_stringt("UNCONDITIONAL");
   }
 
   for(const auto &dd : data_deps)
@@ -657,7 +657,7 @@ jsont dep_graph_domaint::output_json_additional(
       json_numbert(std::to_string(target->location_number));
     link["sourceLocation"]=json(target->source_location);
     link["type"]=json_stringt("control");
-    link["branch"]=json_stringt("CALL");
+    link["branch"]=json_stringt("UNCONDITIONAL");
   }
 
   for(const auto &dd : base_state.data_deps)