lean4-htt/tests/bench/lean-gc.py
2019-05-29 16:33:50 +02:00

9 lines
169 B
Python
Executable file

#!/usr/bin/env python3
import re
import sys
data = sys.stdin.read()
overheads = re.findall("([\d.]+)%", data)
gc_pc = sum(map(float, overheads))
print(f"gc: {gc_pc}")