Passed
gpkit.tests.t_constraints.TestMonomialEquality.test_str (from gpkit.tests.t_constraints.TestMonomialEquality-20210624155807)
Standard Output
Warning: SignomialConstraint x + y ≥ z became the tautological constraint 0 <= 1 + x after substitution.