Latest

harmonylang · Sep 25, 2023 · d1573c9 · d1573c9
1 parent 894b5de
commit d1573c9
Showing 1 changed file with 0 additions and 9 deletions.
diff --git a/harmony_model_checker/charm/charm.c b/harmony_model_checker/charm/charm.c
@@ -3878,17 +3878,8 @@ int exec_model_checker(int argc, char **argv){
         }
         double now = gettime();
         tarjan(global);
-        double tween = gettime();
         computed_components = true;
-<<<<<<< HEAD
-
-        // Compute shortest path to initial state for each node.
-        // shortest_path(global);
-
-        printf("    * %u components (%.2lf+%.2lf seconds)\n", global->ncomponents, tween - now, gettime() - tween);
-=======
         printf("    * %u components (%.2lf seconds)\n", global->ncomponents, gettime() - now);
->>>>>>> next
 
 #ifdef DUMP_GRAPH
         printf("digraph Harmony {\n");