mkundu1 opened this issue 5 months ago · 0 comments
Following nightly tests require re-run:
tests/test_reduction.py::test_reduction_does_not_modify_case tests/test_solver_monitors.py::test_solver_monitors