change \n to messaget::eom

Shashank V M · Shashank V M · commit 66d2feddbbae · 2025-12-15T22:40:53.000+05:30
diff --git a/src/ebmc/report_results.cpp b/src/ebmc/report_results.cpp
@@ -186,7 +186,7 @@ void report_results(
         auto outfile = output_filet{filename};
         messaget message(message_handler);
         message.status() << "Writing witness trace VCD file to " << filename
-                         << "\n";
+                         << messaget::eom;
         show_trans_trace_vcd(
           property.witness_trace.value(), message, ns, outfile.stream());
       }

Original file line number	Diff line number	Diff line change
`@@ -186,7 +186,7 @@ void report_results(`
`186`	`186`	`auto outfile = output_filet{filename};`
`187`	`187`	`messaget message(message_handler);`
`188`	`188`	`message.status() << "Writing witness trace VCD file to " << filename`
`189`		`- << "\n";`
	`189`	`+ << messaget::eom;`
`190`	`190`	`show_trans_trace_vcd(`
`191`	`191`	`property.witness_trace.value(), message, ns, outfile.stream());`
`192`	`192`	`}`