Acceso pretty_print

fault_injector.py

@@ -565,9 +565,6 @@ def fault_injection_by_signal(**kwargs):
 
             # FI injection time
             injection_time = fi_toc - fi_tic
-
-            if fault_injected:
-                output_str = "THREAD:{}, FAULT NUM:{}".format(host_thread, num_rounds)
             if len(crash)==1:
                    tmp="--"
             else:
@@ -577,11 +574,14 @@ def fault_injection_by_signal(**kwargs):
                        block, old_val, new_val, injection_site,
                        fault_injected, hang, crash[0], sdc, masked ,tmp,injection_time,
                        signal_init_time, bits_to_flip, instruction, user_defined_val]
-                for name, value in zip(header, row):
-                    output_str += " {}: {},".format(name, value)
                 
+            if fault_injected:
+               # output_str = "THREAD:{}, FAULT NUM:{}".format(host_thread, num_rounds)
+
+               #output_str += " {}: {},".format(name, value)
+		#for name, value in zip(header, row):
                 # :-1 to remove the last comma
-                cf.printf(output_str[:-1])
+                #cf.printf(output_str[:-1])
                 with lock:
                     summary_file.write_row(row)
                 num_rounds += 1