18 package com.microsoft.z3;
26 public final class Log
28 private static boolean m_is_open =
false;
59 throw new Z3Exception(
"Log cannot be closed.");
static void appendLog(String a0)
static boolean open(String filename)
static int openLog(String a0)
static void append(String s)