Method append

src/api/java/Log.java:56–61

Appends the user-provided string s to the interaction log. @throws Z3Exception

(String s)

     * @throws Z3Exception 
     **/
    public static void append(String s)
    {
        if (!m_is_open)
            throw new Z3Exception("Log cannot be closed.");
        Native.appendLog(s);
    }

    /**
     * Checks whether the interaction log is opened.