Passed
gpkit.tests.t_constraints.TestSignomialInequality.test_posyslt1 (from gpkit.tests.t_constraints.TestSignomialInequality-20240103154038)
Standard Output
Warning: SignomialConstraint x + y >= z became the tautological constraint 0 <= 1 + x after substitution.