Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
Related to RobotLocomotion#12876.
Apparently, running with
```
CC=clang CXX=clang++ bazel  test --compilation_mode=dbg --config=memcheck_everything  region_of_attraction_test
```
caused mosek to simply fail to solve the problem.  I've disabled this test entirely for mosek now.

Disconcerting for sure.  Would be good to root cause this.  RobotLocomotion#12876 has all of the discussion/details.
  • Loading branch information
RussTedrake authored Mar 18, 2020
1 parent fbefbb3 commit 500504f
Showing 1 changed file with 8 additions and 6 deletions.
14 changes: 8 additions & 6 deletions systems/analysis/test/region_of_attraction_test.cc
Original file line number Diff line number Diff line change
Expand Up @@ -115,6 +115,11 @@ GTEST_TEST(RegionOfAttractionTest, IndefiniteHessian) {
// polynomial potential function, and xdot = (U-1)dUdx, which should have
// U==1 as the true boundary of the RoA.
GTEST_TEST(RegionOfAttractionTest, NonConvexROA) {
// This test is known to fail with Mosek as a solver (#12876).
if (solvers::MosekSolver::is_available()) {
return;
}

const Vector2<Variable> x{Variable("x"), Variable("y")};
Eigen::Matrix2d A1, A2;
A1 << 1, 2, 3, 4;
Expand All @@ -140,12 +145,9 @@ GTEST_TEST(RegionOfAttractionTest, NonConvexROA) {
env[x(0)] = std::sqrt(rho);
// Confirm that it is on the boundary of V.
EXPECT_NEAR(V.Evaluate(env), 1.0, 1e-12);
// This test is known to fail with Mosek as a solver (#12876).
if (!solvers::MosekSolver::is_available()) {
// As an inner approximation of the ROA, It should be inside the boundary
// of U(x) <= 1 (but this time with the tolerance of the SDP solver).
EXPECT_LE(U.Evaluate(env), 1.0 + 1e-6);
}
// As an inner approximation of the ROA, It should be inside the boundary
// of U(x) <= 1 (but this time with the tolerance of the SDP solver).
EXPECT_LE(U.Evaluate(env), 1.0 + 1e-6);
}

} // namespace
Expand Down

0 comments on commit 500504f

Please sign in to comment.