search

antoinemine / apron

Apron Numerical Abstract Domain Library
Other
114 stars 33 forks source link

Issues with DISEQ constraint? #109

Closed DivyaRathore09 closed 6 months ago

DivyaRathore09 commented 6 months ago

With the following abstract value Screenshot 2024-06-03 at 5 20 42 PM performing a meet of the constraint Screenshot 2024-06-03 at 5 21 20 PM of type Tcons1 should technically produce bottom instead, it produces Screenshot 2024-06-03 at 5 22 26 PM Am I missing something, or is it some issue?

rmonat commented 6 months ago

I think this was covered in #92.

DivyaRathore09 commented 6 months ago

Thank you