Use traced parallel length for Dommaschk metric/J validation#62

rogeriojorge wants to merge 1 commit intoboutproject:masterboutproject/zoidberg:masterfrom

rogeriojorge:dommaschk-minimal-metricrogeriojorge/zoidberg:dommaschk-minimal-metricCopy head branch name to clipboard