Method test_cube_empty

tests/test_z3_ported.py:4524–4526

(self)

            Solver.from_string("(assert true)")

    def test_cube_empty(self):
        s = Solver()
        assert s.cube() == []

    def test_consequences(self):
        s = Solver()