Closed ThomasArts closed 2 years ago
Added a few QuickCheck properties for the old and new coverage plan computations.
Note that the hot_node part of prop_distribution does fail for both solutions.
hot_node
prop_distribution
Added a few QuickCheck properties for the old and new coverage plan computations.
Note that the
hot_node
part ofprop_distribution
does fail for both solutions.