MCPcopy Create free account
hub / github.com/Z3Prover/z3 / open

Method open

src/api/java/Log.java:36–40  ·  view source on GitHub ↗

Open an interaction log file. @param filename the name of the file to open @return True if opening the log file succeeds, false otherwise.

(String filename)

Source from the content-addressed store, hash-verified

34 * @return True if opening the log file succeeds, false otherwise.
35 **/
36 public static boolean open(String filename)
37 {
38 m_is_open = true;
39 return Native.openLog(filename);
40 }
41
42 /**
43 * Closes the interaction log.

Callers 8

mainMethod · 0.95
mainMethod · 0.95
get_iucMethod · 0.80
open_traceFunction · 0.80
extract_c_includesFunction · 0.80

Calls 1

openLogMethod · 0.80

Tested by

no test coverage detected