gpkit.tests.t_model.TestSP_cvxopt.test_tautological (from gpkit.tests.t_model.TestSP_cvxopt-20200807223000)