18 package com.microsoft.z3;
26 public final class Log 28 private static boolean m_is_open =
false;
36 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)