Jump to content

Functional coverage tree: Difference between revisions

m
m (J: add some minor explanations)
Line 404:
let go fraction node =
let forest = subForest node
cwsweights = ((coverage &&& weight) . rootLabel) <$> forest
weights = snd <$> cws
weightTotal = sum weights
nodeRoot = rootLabel node
9,655

edits

Cookies help us deliver our services. By using our services, you agree to our use of cookies.