Fixes issue #2449 (closed)
Both that test, and the complicated program sor_red_black.sac compute the correct result now, so I am pretty confident this is correct.
Fixes issue #2449 (closed)
Both that test, and the complicated program sor_red_black.sac compute the correct result now, so I am pretty confident this is correct.