Method test_consequences

tests/test_z3_ported.py:4528–4531

(self)

        assert s.cube() == []

    def test_consequences(self):
        s = Solver()
        result, _ = s.consequences([], [])
        assert result == unknown

    def test_help(self):
        s = Solver()