nlepage opened this issue 6 years ago · 0 comments
Mostly optimization tests have been skipped since the addition of navigators. Either unskip them and reimplement some optimizations, or definitely delete them...