this repo has no description
1#!/usr/bin/env dtrace -s 2 3#pragma D option quiet 4 5minizinc$target:::gc-start 6{ 7 @count["GC Passes"] = count(); 8 self->start_gc = timestamp; 9} 10 11minizinc$target:::gc-end 12{ 13 @quant["Time in GC (ns)"] = quantize(timestamp - self->start_gc); 14 @times["Total time"] = sum(timestamp - self->start_gc); 15} 16 17END 18{ 19 printa(@count); 20 printa(@quant); 21 printa(@times); 22}