Skip to content

SMG: Encapsulate four-fold HVE filter with HVE set's #contains()

Петров Олег Максимович requested to merge mr53-refactor-smg-hve-filter-contains into smg-master

SMG: replace four-fold HVE filter with HVE set's #contains()

Introduce the new method SMGHasValueEdgeSet#getCoveringEdge.

Replace filtering by object, offset, value, bitsize with SMGHasValueEdgeSet#contains in all three places, including rewriting #contains itself using new #getCoveringEdge.

Use #contains instead of filtering by readParams.

Add a test for set's contains vs. 4-fold filter to show the behavior has not changed.

Edited by Петров Олег Максимович

Merge request reports