Method test_from_string_raises

tests/test_z3_ported.py:4520–4522

(self)

            Solver.from_file("test.smt2")

    def test_from_string_raises(self):
        with pytest.raises(NotImplementedError):
            Solver.from_string("(assert true)")

    def test_cube_empty(self):
        s = Solver()