Page MenuHomePhabricator

[Coverage] Add an expensive test for the segment builder
Needs ReviewPublic

Authored by vsk on Aug 18 2017, 2:53 PM.

Details

Reviewers
ikudrin
Summary

Add an exhaustive test for the segment builder. It is only enabled when
-DEXPENSIVE_CHECKS is passed.

The test lists all regions within a window of source code, picks all
combinations of K regions within the window, and runs the segment
builder.

Depends on D36813.

Diff Detail

Event Timeline

vsk created this revision.Aug 18 2017, 2:53 PM
ikudrin edited edge metadata.Aug 20 2017, 10:34 PM

LGTM

unittests/ProfileData/CoverageMappingTest.cpp
612

Strictly speaking, it should be something like I < N - R + C.size() + 1, but taking into account the volume of N it doesn't matter.