Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
363 B · 22 lines
at develop
1234567891011121314151617181920212223#!/usr/bin/env dtrace -s
#pragma D option quiet
minizinc$target:::gc-start{ @count["GC Passes"] = count(); self->start_gc = timestamp;}
minizinc$target:::gc-end{ @quant["Time in GC (ns)"] = quantize(timestamp - self->start_gc); @times["Total time"] = sum(timestamp - self->start_gc);}
END{ printa(@count); printa(@quant); printa(@times);}