Merge pull request #374 from lf-lang/fix-373

Save trace file for RTI in abnormal termination

core/federated/RTI/main.c

@@ -108,6 +108,7 @@ void termination() {
             send_failed_signal(f);
         }
         if (rti.base.tracing_enabled) {
+            lf_tracing_global_shutdown();
             lf_print("RTI trace file saved.");
         }
         lf_print("RTI is exiting abnormally.");