Passed

gpkit.tests.t_nomials.TestPosynomial.test_diff (from gpkit.tests.t_nomials.TestPosynomial-20240103165649)

Standard Output

Warning: SignomialConstraint x + y >= z became the tautological constraint 0 <= 1 + x after substitution.