HomePhabricator

[LSR][NFC] Make sure that after the canonicalization the formula is canonical

Authored by mkazantsev on Jun 27 2021, 10:50 PM.

Description

[LSR][NFC] Make sure that after the canonicalization the formula is canonical

Details

Committed
mkazantsevJun 27 2021, 10:50 PM
Parents
rGaf03f7fb37bf: [Test] Add XFAIL test for PR50918
Branches
Unknown
Tags
Unknown