Method check

examples/java/JavaGenericExample.java:180–191

(Context ctx, Expr<BoolSort> f, Status sat)

    }

    @SuppressWarnings("unchecked")
    Model check(Context ctx, Expr<BoolSort> f, Status sat) throws TestFailedException
    {
        Solver s = ctx.mkSolver();
        s.add(f);
        if (s.check() != sat)
            throw new TestFailedException();
        if (sat == Status.SATISFIABLE)
            return s.getModel();
        else
            return null;
    }

    void solveTactical(Context ctx, Tactic t, Goal g, Status sat)
            throws TestFailedException