18 package com.microsoft.z3;
25 public final class Log
27 private static boolean m_is_open =
false;
35 public static boolean open(String filename)
static void appendLog(String a0)
static boolean open(String filename)
static int openLog(String a0)
static void append(String s)