Fixes

Author: blegat

src/constraints/PositiveSemidefiniteConeConstraint.jl

@@ -18,7 +18,7 @@ function is_feasible(x, ::MOI.PositiveSemidefiniteConeSquare, tol)
     if !(x ≈ transpose(x))
         @warn "constant SDP constraint is violated"
         return false
-    elseif evaluate(LinearAlgebra.eigmin(c.child)) < -tol
+    elseif LinearAlgebra.eigmin(x) < -tol
         @warn "constant SDP constraint is violated"
         return false
     end

test/test_constraints.jl

@@ -185,7 +185,7 @@ end
 
 ### constraints/GenericConstraint{MOI.PositiveSemidefiniteConeSquare}
 
-function test_GenericConstraint{MOI.PositiveSemidefiniteConeSquare}()
+function test_GenericConstraint_PositiveSemidefiniteConeSquare()
     @test_throws(
         ErrorException("Positive semidefinite expressions must be square"),
         Convex.GenericConstraint{MOI.PositiveSemidefiniteConeSquare}(Variable(2, 3)),
@@ -206,7 +206,7 @@ function test_GenericConstraint{MOI.PositiveSemidefiniteConeSquare}()
     return
 end
 
-function test_GenericConstraint{MOI.PositiveSemidefiniteConeSquare}_violated()
+function test_GenericConstraint_PositiveSemidefiniteConeSquare_violated()
     X = constant([1 2; 3 4])
     p = satisfy([X ⪰ 0])
     @test_logs (:warn,) (:warn,) solve!(p, SCS.Optimizer)