Got rid of trim

harmonylang · Feb 27, 2025 · 1ef1470 · 1ef1470
1 parent 9752115
commit 1ef1470
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/harmony_model_checker/charm/charm.c b/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");