fix phasar

UTD-FAST-Lab · Dec 20, 2023 · 44d0318 · 44d0318
1 parent d8865eb
commit 44d0318
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/sugarlyzer/analyses/Phasar.py b/src/sugarlyzer/analyses/Phasar.py
@@ -45,7 +45,8 @@ def analyze(self, file: Path,
         times = " ".join(ps.stderr.split('\n')[-30:])
         try:
             usr_time, sys_time, max_memory = parse_bash_time(times)
-            logger.info(f"CPU time to compile {file} to bytecode was {usr_time + sys_time}")
+            logger.info(f"CPU time to compile {file} was {usr_time + sys_time}s")
+            logger.info(f"Max memory to compile {file} was {max_memory}kb")
         except Exception as ve:
             logger.exception("Could not parse time in string " + times)