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

Method close

src/api/java/Log.java:45–49  ·  view source on GitHub ↗

Closes the interaction log.

()

Source from the content-addressed store, hash-verified

43 * Closes the interaction log.
44 **/
45 public static void close()
46 {
47 m_is_open = false;
48 Native.closeLog();
49 }
50
51 /**
52 * Appends the user-provided string {@code s} to the interaction

Callers 15

mainMethod · 0.95
mainMethod · 0.95
parseFunction · 0.45
read_datalogFunction · 0.45
executeMethod · 0.45
dump_benchmarkMethod · 0.45
tst_expr_arithFunction · 0.45
tst_expr_randFunction · 0.45
build_instanceFunction · 0.45
readMethod · 0.45

Calls

no outgoing calls

Tested by 4

tst_expr_arithFunction · 0.36
tst_expr_randFunction · 0.36
build_instanceFunction · 0.36
readMethod · 0.36