nrontsis opened this issue 6 years ago · 0 comments
Tests for constrained TRS do not work after the latest commit 6bad0b7
It seems that this is a problem of pop_solution! and/or extract_solution_hard_case.
pop_solution!
extract_solution_hard_case