Skip to content
Unverified Commit 821c332b authored by Yingwei Zheng's avatar Yingwei Zheng Committed by GitHub
Browse files

[ConstraintElim] Add missing checks in test_overflow_in_negate_constraint (#65841) 

This patch adds missing checks in the function
`test_overflow_in_negate_constraint`.
Related commit: 0a0181dc
parent 63af54a8
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment