Change important printfs to lg::print (#3355)

This allows them to be logged into a file, useful for debugging.

With this, GOAL `format` and C-kernel `Msg` (and its variants) will be
logged.
This commit is contained in:
ManDude
2024-02-01 18:01:41 +00:00
committed by GitHub
parent b331d16bcc
commit d67b441dac
21 changed files with 124 additions and 80 deletions
+2 -1
View File
@@ -5,6 +5,7 @@
#include <cstring>
#include "common/goal_constants.h"
#include "common/log/log.h"
#include "common/repl/util.h"
#include "common/util/Timer.h"
@@ -120,7 +121,7 @@ void KernelDispatch(u32 dispatcher_func) {
float time_ms = dispatch_timer.getMs();
if (time_ms > 50) {
printf("Kernel dispatch time: %.3f ms\n", time_ms);
lg::print("Kernel dispatch time: {:.3f} ms\n", time_ms);
}
// flush stdout