codac icon indicating copy to clipboard operation
codac copied to clipboard

Bug with infinite Vectors

Open SimonRohou opened this issue 3 years ago • 0 comments

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])

SimonRohou avatar Sep 14 '22 15:09 SimonRohou