mirror of
https://github.com/leanprover/lean4.git
synced 2026-03-17 18:34:06 +00:00
9 lines
204 B
Python
Executable File
9 lines
204 B
Python
Executable File
#!/usr/bin/env python3
|
|
|
|
import ast
|
|
import sys
|
|
|
|
info = dict(ast.literal_eval(sys.stdin.read().strip()))
|
|
gc_pc = float(info['GC_cpu_seconds']) / float(info['total_cpu_seconds']) * 100
|
|
print(f"gc: {gc_pc}")
|