Skip to content

[LRA] make relop normalization optional

Hichem R. A. requested to merge hra/lra_relop_norm_opt into master

This seems to be the source of the regressions on master after merging the MRs !81 (merged) and !82 (merged), it might be due to the introduction of negations when translating lt and gt to le.

Edited by Hichem R. A.

Merge request reports