search

eth-sri / ELINA

ELINA: ETH LIbrary for Numerical Analysis
http://elina.ethz.ch/
Other
129 stars 53 forks source link

Parallel assignment outputs top in the octagon domain. #41

Closed gavlegoat closed 5 years ago

gavlegoat commented 6 years ago

In the octagon domain, performing a parallel assignment yields top even when the assignment operation is identity. There is example code showing this behavior here.

GgnDpSngh commented 6 years ago

Hi there,

Thanks for pointing this out. This was indeed a subtle bug that we did not detect before. It has been fixed now. Let me know if you have any further issues.

Cheers, Gagan