Got rid of trim

Author: rvanren

harmony_model_checker/charm/charm.c

@@ -5695,13 +5695,15 @@ int exec_model_checker(int argc, char **argv){
         path_recompute();
         phase_finish();
 
+#ifdef OBSOLETE
         // If this was a safety failure, we remove any unneeded steps to further
         // reduce the length of the counter-example.
         if (bad->type == FAIL_SAFETY) {
             phase_start("Trim path");
             path_trim(NULL);
             phase_finish();
         }
+#endif
 
         // Finally, we output the path.
         phase_start("Output path");