metaborg/dynsem

Report time spent in rules

vvergu opened this issue · 0 comments

vvergu commented

For benchmark results also measure and report the time spent in each of the DynSem rules. This to identify hotspots.