codac
codac copied to clipboard
Bug with infinite Vectors
The following code does not provide the expected result (from IBEX):
IntervalVector x(2, Interval::EMPTY_SET);
x |= Vector({0,oo});
cout << x << endl;
(<0, 0> ; [empty])