HomePhabricator

[CVP] Add tests for icmp on local ranges; NFC

Authored by nikic on Thu, Oct 31, 1:52 PM.

Description

[CVP] Add tests for icmp on local ranges; NFC

We currently don't simplify these, because getPredicateAt() does
not use block values.

Details

Committed
nikicThu, Oct 31, 2:24 PM
Parents
rG1cfe3e6df9fa: [LVI] Regenerate test checks; NFC
Branches
Unknown
Tags
Unknown